pub const seL4_SchedContext_Sporadic: Type = 1;