Type Alias seL4_CNode

pub type seL4_CNode = seL4_CPtr;