Constant seL4_SchedContext_Sporadic 

pub const seL4_SchedContext_Sporadic: Type = 1;