Constant sel4_sys::api_object::seL4_SchedContextObject

pub const seL4_SchedContextObject: Type = 5;