Constant seL4_RISCV_Tera_Page 

pub const seL4_RISCV_Tera_Page: u32 = 4294967295;