| /src/tests/modules/ | 
| t_ufetchstore.c | 228 do_ustore_16(uint16_t *uaddr, uint16_t val)  function in typeref:typename:int 733 	ATF_REQUIRE_EQ(do_ustore_16(&cell.val16[index16], test_pattern16), 0);
 813 	ATF_REQUIRE_EQ(do_ustore_16(NULL, 0), EFAULT);
 883 	ATF_REQUIRE_EQ(do_ustore_16(vm_max_address(), 0), EFAULT);
 943 	ATF_REQUIRE_EQ(do_ustore_16(vm_max_address_minus(1), 0), EFAULT);
 
 | 
| /src/tests/modules/ufetchstore/ | 
| t_ufetchstore.c | 228 do_ustore_16(uint16_t *uaddr, uint16_t val)  function in typeref:typename:int 733 	ATF_REQUIRE_EQ(do_ustore_16(&cell.val16[index16], test_pattern16), 0);
 813 	ATF_REQUIRE_EQ(do_ustore_16(NULL, 0), EFAULT);
 883 	ATF_REQUIRE_EQ(do_ustore_16(vm_max_address(), 0), EFAULT);
 943 	ATF_REQUIRE_EQ(do_ustore_16(vm_max_address_minus(1), 0), EFAULT);
 
 |