Type Alias seL4_CPtr

pub type seL4_CPtr = seL4_Word;