Type Alias seL4_SchedControl 

pub type seL4_SchedControl = seL4_CPtr;