NUM_LEVELS

sel4::vspace_levels

Constant NUM_LEVELS 

Source 
pub const NUM_LEVELS: usize = 3usize;
Expand description

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