ustore_8
if (ustore_8((void *)vaddr, tf->tf_regs[(inst>>16)&0x1F]) != 0) {
__strong_alias(ustore_char,ustore_8);
int ustore_8(uint8_t *, uint8_t);
ATF_TP_ADD_TC(tp, ustore_8);
ATF_TC_WITH_CLEANUP(ustore_8);
ATF_TC_HEAD(ustore_8, tc)
ATF_TC_BODY(ustore_8, tc)
ATF_TC_CLEANUP(ustore_8, tc)
ATF_TP_ADD_TC(tp, ustore_8);
ATF_TC_WITH_CLEANUP(ustore_8);
ATF_TC_HEAD(ustore_8, tc)
ATF_TC_BODY(ustore_8, tc)
ATF_TC_CLEANUP(ustore_8, tc)
args->fetchstore_error = ustore_8(uaddr, args->val8);