| /src/tests/modules/ |
| t_ufetchstore.c | 199 do_ufetch_64(const uint64_t *uaddr, uint64_t *res) function in typeref:typename:int
453 ATF_REQUIRE_EQ(do_ufetch_64(&cell.val64, &res), 0);
533 ATF_REQUIRE_EQ(do_ufetch_64(NULL, &res), EFAULT);
611 ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address(), &res), EFAULT);
691 ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address_minus(7), &res), EFAULT);
|
| /src/tests/modules/ufetchstore/ |
| t_ufetchstore.c | 199 do_ufetch_64(const uint64_t *uaddr, uint64_t *res) function in typeref:typename:int
453 ATF_REQUIRE_EQ(do_ufetch_64(&cell.val64, &res), 0);
533 ATF_REQUIRE_EQ(do_ufetch_64(NULL, &res), EFAULT);
611 ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address(), &res), EFAULT);
691 ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address_minus(7), &res), EFAULT);
|
