UPT_MAX_ADDRESS
} else if (i == pmap_pml5e_index(UPT_MAX_ADDRESS)) {
pm_pml5u[pmap_pml5e_index(UPT_MAX_ADDRESS)] =
KASSERT(va < UPT_MIN_ADDRESS || va >= UPT_MAX_ADDRESS,
#define VM_MAX_ADDRESS UPT_MAX_ADDRESS