Type Alias seL4_Untyped

pub type seL4_Untyped = seL4_CPtr;