Type Alias seL4_Untyped 

pub type seL4_Untyped = seL4_CPtr;