Constant seL4_SchedContextObject

pub const seL4_SchedContextObject: Type = 5;