Type Alias sel4_sys::seL4_SchedContext

pub type seL4_SchedContext = seL4_CPtr;