Constant seL4_VCPUReg_IFSR 

pub const seL4_VCPUReg_IFSR: Type = 7;