Type Alias seL4_RISCV_Page 

pub type seL4_RISCV_Page = seL4_CPtr;