Type Alias seL4_SchedControl

pub type seL4_SchedControl = seL4_CPtr;