Type Alias seL4_CNode 

pub type seL4_CNode = seL4_CPtr;