Type Alias seL4_CPtr 

pub type seL4_CPtr = seL4_Word;