pub const MAX_NR_PAGES: u64 = _; // 524_288u64
Maximum number of base-page frames represented by the current memory model.