tests/modules/t_ufetchstore.c

429

ATF_REQUIRE_EQ(do_ufetch_32(&cell.val32[index32], &res), 0);

tests/modules/t_ufetchstore.c

513

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

tests/modules/t_ufetchstore.c

591

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

tests/modules/t_ufetchstore.c

664

ATF_REQUIRE_EQ(do_ufetch_32(vm_max_address_minus(3), &res), EFAULT);

tests/modules/ufetchstore/t_ufetchstore.c

429

ATF_REQUIRE_EQ(do_ufetch_32(&cell.val32[index32], &res), 0);

tests/modules/ufetchstore/t_ufetchstore.c

513

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

tests/modules/ufetchstore/t_ufetchstore.c

591

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

tests/modules/ufetchstore/t_ufetchstore.c

664

ATF_REQUIRE_EQ(do_ufetch_32(vm_max_address_minus(3), &res), EFAULT);