Constant seL4_SchedContext_Sporadic

pub const seL4_SchedContext_Sporadic: Type = 1;