sel4_sys::api_object

Constant seL4_CapTableObject

Source 
pub const seL4_CapTableObject: Type = 4;