ustore_32
if (ustore_32((void *)vaddr, tf->tf_regs[(inst>>16)&0x1F]) != 0) {
if (ustore_32((void *)vaddr, a) != 0) {
if (ustore_32((void *)vaddr, a) != 0) {
__strong_alias(ustore_int,ustore_32);
__strong_alias(ustore_long,ustore_32);
__strong_alias(ustore_ptr,ustore_32);
int ustore_32(uint32_t *, uint32_t);
ATF_TP_ADD_TC(tp, ustore_32);
ATF_TC_WITH_CLEANUP(ustore_32);
ATF_TC_HEAD(ustore_32, tc)
ATF_TC_BODY(ustore_32, tc)
ATF_TC_CLEANUP(ustore_32, tc)
ATF_TP_ADD_TC(tp, ustore_32);
ATF_TC_WITH_CLEANUP(ustore_32);
ATF_TC_HEAD(ustore_32, tc)
ATF_TC_BODY(ustore_32, tc)
ATF_TC_CLEANUP(ustore_32, tc)
args->fetchstore_error = ustore_32(uaddr, args->val32);