Constant seL4_VCPUReg_SPSRirq 

pub const seL4_VCPUReg_SPSRirq: Type = 36;