level0Range
constexpr uint64_t level0Range = level1Range * 512;
end / level0Range + 1 - start / level0Range,
level1Range = (uint64_t)level0Range * pteCount,
size_t requiredLevel0 = end / level0Range + 1 - start / level0Range;