LEVEL_MASK
vaddr = (vaddr & LEVEL_MASK(l + 1)) + LEVEL_SIZE(l + 1)) {
base = vaddr & LEVEL_MASK(level + 1);
base = vaddr & LEVEL_MASK(l + 1);
uintptr_t va = *vap & LEVEL_MASK(l);
((va & LEVEL_MASK(l)) + LEVEL_SIZE(l) == mmu.hole_start ? \
mmu.hole_end : (va & LEVEL_MASK(l)) + LEVEL_SIZE(l))
#define NEXT_ENTRY_VA(va, l) ((va & LEVEL_MASK(l)) + LEVEL_SIZE(l))
map_addr = base & LEVEL_MASK(1);
map_eaddr = (base + len + LEVEL_SIZE(1) - 1) & LEVEL_MASK(1);
window_size = (window_size + LEVEL_SIZE(1)) & LEVEL_MASK(1);
va = (va & LEVEL_MASK(l)) + LEVEL_SIZE(l);