ADDR_IS_CANONICAL
KASSERT(ADDR_IS_CANONICAL(sva),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(sva),
KASSERT(ADDR_IS_CANONICAL(eva) || eva == VM_MAX_USER_ADDRESS,
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(va),
KASSERT(ADDR_IS_CANONICAL(sva),
KASSERT(ADDR_IS_CANONICAL(eva),
MPASS(ADDR_IS_CANONICAL(va));
if (!ADDR_IS_CANONICAL(sva) || !ADDR_IS_CANONICAL(eva))
if (!ADDR_IS_CANONICAL(gp_args.addr))
} else if (!ADDR_IS_CANONICAL(far)) {