Type Alias seL4_SchedContext

pub type seL4_SchedContext = seL4_CPtr;