Constant seL4_RISCV_Giga_Page 

pub const seL4_RISCV_Giga_Page: Type = 5;