Constant seL4_VCPUReg_SPSRfiq 

pub const seL4_VCPUReg_SPSRfiq: Type = 37;