Constant sel4_sys::seL4_InstructionFault

pub const seL4_InstructionFault: u32 = 1;