Constant sel4::vspace_levels::NUM_LEVELS

source · 
pub const NUM_LEVELS: usize = _; // 4usize