UPT_MIN_ADDRESS
KASSERT(va < UPT_MIN_ADDRESS || va >= UPT_MAX_ADDRESS,
KASSERT(addr < UPT_MIN_ADDRESS,