Constant seL4_EndpointObject 

pub const seL4_EndpointObject: Type = 2;