seL4_TCBObject

sel4_sys::api_object

Constant seL4_TCBObject 

Source 
pub const seL4_TCBObject: Type = 1;