Constant seL4_SchedContext_NoFlag

pub const seL4_SchedContext_NoFlag: Type = 0;