Type Alias seL4_PAddr 

pub type seL4_PAddr = seL4_Word;