sel4_sys::seL4_SchedContextFlag

Constant seL4_SchedContext_NoFlag

Source 
pub const seL4_SchedContext_NoFlag: Type = 0;