Constant seL4_VCPUReg_SPfiq 

pub const seL4_VCPUReg_SPfiq: Type = 26;