Constant seL4_RISCV_PageTableObject

pub const seL4_RISCV_PageTableObject: Type = 8;