Constant sel4_sys::seL4_CapFault_Msg::seL4_CapFault_GuardMismatch_BitsFound

source ยท 
pub const seL4_CapFault_GuardMismatch_BitsFound: Type = 6;