Constant seL4_SchedContext_NoFlag 

pub const seL4_SchedContext_NoFlag: Type = 0;