sel4_sys::api_object

Constant seL4_EndpointObject

Source 
pub const seL4_EndpointObject: Type = 2;