Constant sel4_common::fault::seL4_CapFault_LookupFailureType

pub const seL4_CapFault_LookupFailureType: usize = 3;