Constant seL4_InstructionFault 

pub const seL4_InstructionFault: u32 = 1;