Constant seL4_SchedContextObject 

pub const seL4_SchedContextObject: Type = 5;