Type Alias seL4_RISCV_PageTable 

pub type seL4_RISCV_PageTable = seL4_CPtr;