sel4_sys::api_object

Constant seL4_TCBObject

Source 
pub const seL4_TCBObject: Type = 1;