tests/modules/t_ufetchstore.c

453

ATF_REQUIRE_EQ(do_ufetch_64(&cell.val64, &res), 0);

tests/modules/t_ufetchstore.c

533

ATF_REQUIRE_EQ(do_ufetch_64(NULL, &res), EFAULT);

tests/modules/t_ufetchstore.c

611

ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address(), &res), EFAULT);

tests/modules/t_ufetchstore.c

691

ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address_minus(7), &res), EFAULT);

tests/modules/ufetchstore/t_ufetchstore.c

453

ATF_REQUIRE_EQ(do_ufetch_64(&cell.val64, &res), 0);

tests/modules/ufetchstore/t_ufetchstore.c

533

ATF_REQUIRE_EQ(do_ufetch_64(NULL, &res), EFAULT);

tests/modules/ufetchstore/t_ufetchstore.c

611

ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address(), &res), EFAULT);

tests/modules/ufetchstore/t_ufetchstore.c

691

ATF_REQUIRE_EQ(do_ufetch_64(vm_max_address_minus(7), &res), EFAULT);