seL4_CapFault_LookupFailureType

sel4_sys::seL4_CapFault_Msg

Constant seL4_CapFault_LookupFailureType 

Source 
pub const seL4_CapFault_LookupFailureType: Type = 3;