Constant sel4_sys::api_object::seL4_TCBObject

pub const seL4_TCBObject: Type = 1;