Constant seL4_Fault_CapFault 

pub const seL4_Fault_CapFault: u64 = 1;