pteCount
for (uint32 i = 0; i < pteCount; i++) {
level0Range = (uint64_t)B_PAGE_SIZE * pteCount,
level1Range = (uint64_t)level0Range * pteCount,
level2Range = (uint64_t)level1Range * pteCount,
uint64 end = pteCount - 1;
uint64 end = pteCount - 1;
for (uint32 i = 0; i < pteCount; i++) {