Constant sel4_common::sel4_config::RISCV_4K_Page

source · 
pub const RISCV_4K_Page: usize = 0;