vm_max_address
vaddr_t vm_max_address = vm_map_max(map);
if (eaddr > vm_max_address)
ATF_REQUIRE_EQ(do_ucas_32(vm_max_address(), 0xdeadbeef, 0xbeefdead,
ATF_REQUIRE_EQ(do_ucas_64(vm_max_address(), 0xdeadbeef, 0xbeefdead,
ATF_REQUIRE_EQ(do_ufetch_8(vm_max_address(), &res), EFAULT);
ATF_REQUIRE_EQ(do_ufetch_16(vm_max_address(), &res), EFAULT);
ATF_REQUIRE_EQ(do_ufetch_32(vm_max_address(), &res), EFAULT);
ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address(), &res), EFAULT);
ATF_REQUIRE_EQ(do_ustore_8(vm_max_address(), 0), EFAULT);
ATF_REQUIRE_EQ(do_ustore_16(vm_max_address(), 0), EFAULT);
ATF_REQUIRE_EQ(do_ustore_32(vm_max_address(), 0), EFAULT);
ATF_REQUIRE_EQ(do_ustore_64(vm_max_address(), 0), EFAULT);
ATF_REQUIRE_EQ(do_ucas_32(vm_max_address(), 0xdeadbeef, 0xbeefdead,
ATF_REQUIRE_EQ(do_ucas_64(vm_max_address(), 0xdeadbeef, 0xbeefdead,
ATF_REQUIRE_EQ(do_ufetch_8(vm_max_address(), &res), EFAULT);
ATF_REQUIRE_EQ(do_ufetch_16(vm_max_address(), &res), EFAULT);
ATF_REQUIRE_EQ(do_ufetch_32(vm_max_address(), &res), EFAULT);
ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address(), &res), EFAULT);
ATF_REQUIRE_EQ(do_ustore_8(vm_max_address(), 0), EFAULT);
ATF_REQUIRE_EQ(do_ustore_16(vm_max_address(), 0), EFAULT);
ATF_REQUIRE_EQ(do_ustore_32(vm_max_address(), 0), EFAULT);
ATF_REQUIRE_EQ(do_ustore_64(vm_max_address(), 0), EFAULT);