| /src/tests/modules/ |
| t_ufetchstore.c | 184 do_ufetch_32(const uint32_t *uaddr, uint32_t *res) function in typeref:typename:int
429 ATF_REQUIRE_EQ(do_ufetch_32(&cell.val32[index32], &res), 0);
513 ATF_REQUIRE_EQ(do_ufetch_32(NULL, &res), EFAULT);
591 ATF_REQUIRE_EQ(do_ufetch_32(vm_max_address(), &res), EFAULT);
664 ATF_REQUIRE_EQ(do_ufetch_32(vm_max_address_minus(3), &res), EFAULT);
|
| /src/tests/modules/ufetchstore/ |
| t_ufetchstore.c | 184 do_ufetch_32(const uint32_t *uaddr, uint32_t *res) function in typeref:typename:int
429 ATF_REQUIRE_EQ(do_ufetch_32(&cell.val32[index32], &res), 0);
513 ATF_REQUIRE_EQ(do_ufetch_32(NULL, &res), EFAULT);
591 ATF_REQUIRE_EQ(do_ufetch_32(vm_max_address(), &res), EFAULT);
664 ATF_REQUIRE_EQ(do_ufetch_32(vm_max_address_minus(3), &res), EFAULT);
|
