Constant sel4::vspace_levels::NUM_LEVELS

source ยท 
pub const NUM_LEVELS: usize = _; // 4usize
Expand description

The maximum number of levels of translation tables for this kernel configuration.