Constant seL4_RISCV_PageTableObject 

pub const seL4_RISCV_PageTableObject: Type = 8;