sel4::vspace_levels

Constant HIGHEST_LEVEL_WITH_PAGE_ENTRIES

Source
pub const HIGHEST_LEVEL_WITH_PAGE_ENTRIES: usize = _; // 0usize
Expand description

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