PML4MASK
pages += howmany(end - (start & ~PML4MASK), NBPML4);
va_next = (va + NBPML4) & ~PML4MASK;
va_next = (sva + NBPML4) & ~PML4MASK;
va_next = (sva + NBPML4) & ~PML4MASK;
va_next = (sva + NBPML4) & ~PML4MASK;
va_next = (addr + NBPML4) & ~PML4MASK;
va_next = (sva + NBPML4) & ~PML4MASK;