Constant seL4_MissingCapability 

pub const seL4_MissingCapability: Type = 2;