Type Alias seL4_PAddr

pub type seL4_PAddr = seL4_Word;