Constant seL4_InvalidCapability 

pub const seL4_InvalidCapability: Type = 2;