ufetch_16
if (ufetch_16(p, &hi))
if (ufetch_16(p + 1, &lo))
if (ufetch_16(pc, &insn))
__strong_alias(ufetch_short,ufetch_16);
int ufetch_16(const uint16_t *, uint16_t *);
ATF_TP_ADD_TC(tp, ufetch_16);
ATF_TC_WITH_CLEANUP(ufetch_16);
ATF_TC_HEAD(ufetch_16, tc)
ATF_TC_BODY(ufetch_16, tc)
ATF_TC_CLEANUP(ufetch_16, tc)
ATF_TP_ADD_TC(tp, ufetch_16);
ATF_TC_WITH_CLEANUP(ufetch_16);
ATF_TC_HEAD(ufetch_16, tc)
ATF_TC_BODY(ufetch_16, tc)
ATF_TC_CLEANUP(ufetch_16, tc)
args->fetchstore_error = ufetch_16(uaddr, &args->val16);