VM_MAX_USER_ADDRESS
KASSERT(ADDR_IS_CANONICAL(eva) || eva == VM_MAX_USER_ADDRESS,
if (eva >= VM_MAX_USER_ADDRESS)
#define VM_MAXUSER_ADDRESS (VM_MAX_USER_ADDRESS)
KASSERT(va >= VM_MAX_USER_ADDRESS || (l1 & ATTR_DESCR_VALID) != 0,
KASSERT(va >= VM_MAX_USER_ADDRESS || (l2 & ATTR_DESCR_VALID) != 0,
#define VM_MAXUSER_ADDRESS (VM_MAX_USER_ADDRESS)
if (va < VM_MAX_USER_ADDRESS)
if (va < VM_MAX_USER_ADDRESS)