Type Alias seL4_SchedContext 

pub type seL4_SchedContext = seL4_CPtr;