Constant seL4_RISCV_Mega_Page 

pub const seL4_RISCV_Mega_Page: Type = 6;