sel4_sys::api_object

Constant seL4_UntypedObject

Source 
pub const seL4_UntypedObject: Type = 0;