Constant sel4_sys::api_object::seL4_EndpointObject

source ยท 
pub const seL4_EndpointObject: Type = 2;