Constant seL4_CapFault_GuardMismatch_GuardFound

pub const seL4_CapFault_GuardMismatch_GuardFound: Type = 5;