sel4_sys::_object

Constant seL4_RISCV_4K_Page

Source
pub const seL4_RISCV_4K_Page: Type = 5;