sel4_sys::_mode_object

Constant seL4_RISCV_Giga_Page

Source 
pub const seL4_RISCV_Giga_Page: Type = 5;