Constant seL4_RISCV_Tera_Page

pub const seL4_RISCV_Tera_Page: u32 = 4294967295;