tests/modules/t_ufetchstore.c

406

ATF_REQUIRE_EQ(do_ufetch_16(&cell.val16[index16], &res), 0);

tests/modules/t_ufetchstore.c

494

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

tests/modules/t_ufetchstore.c

572

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

tests/modules/t_ufetchstore.c

638

ATF_REQUIRE_EQ(do_ufetch_16(vm_max_address_minus(1), &res), EFAULT);

tests/modules/ufetchstore/t_ufetchstore.c

406

ATF_REQUIRE_EQ(do_ufetch_16(&cell.val16[index16], &res), 0);

tests/modules/ufetchstore/t_ufetchstore.c

494

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

tests/modules/ufetchstore/t_ufetchstore.c

572

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

tests/modules/ufetchstore/t_ufetchstore.c

638

ATF_REQUIRE_EQ(do_ufetch_16(vm_max_address_minus(1), &res), EFAULT);