Constant sel4_sys::seL4_SchedContextFlag::seL4_SchedContext_NoFlag

pub const seL4_SchedContext_NoFlag: Type = 0;