pub const seL4_CapFault_GuardMismatch_BitsFound: usize = 6;