sel4_sys::api_object

Constant seL4_SchedContextObject

Source 
pub const seL4_SchedContextObject: Type = 5;