UPT_MAX_ADDRESS
#define VM_MAX_ADDRESS UPT_MAX_ADDRESS
if ((va >= UPT_MIN_ADDRESS) && (va < UPT_MAX_ADDRESS))
if (va < UPT_MAX_ADDRESS && pmap == kernel_pmap) {
if (va >= UPT_MAX_ADDRESS && pmap != kernel_pmap) {