Constant sel4_sys::seL4_CapFault_Msg::seL4_CapFault_GuardMismatch_GuardFound

pub const seL4_CapFault_GuardMismatch_GuardFound: Type = 5;