Constant sel4::vspace_levels::HIGHEST_LEVEL_WITH_PAGE_ENTRIES

source ยท 
pub const HIGHEST_LEVEL_WITH_PAGE_ENTRIES: usize = _; // 1usize
Expand description

Highest level of translation table whose entries can be pages rather than lower-level translation tables.