Constant seL4_InstructionFault

pub const seL4_InstructionFault: u32 = 1;