sel4_sys::_object

Constant seL4_RISCV_Mega_Page

Source 
pub const seL4_RISCV_Mega_Page: Type = 7;