Constant seL4_FailedLookup 

pub const seL4_FailedLookup: Type = 6;