Constant seL4_CapFault_GuardMismatch_BitsFound 

pub const seL4_CapFault_GuardMismatch_BitsFound: Type = 6;