ufetch_64
__strong_alias(ufetch_long,ufetch_64);
__strong_alias(ufetch_ptr,ufetch_64);
int ufetch_64(const uint64_t *, uint64_t *);
ATF_TP_ADD_TC(tp, ufetch_64);
ATF_TC_WITH_CLEANUP(ufetch_64);
ATF_TC_HEAD(ufetch_64, tc)
ATF_TC_BODY(ufetch_64, tc)
ATF_TC_CLEANUP(ufetch_64, tc)
ATF_TP_ADD_TC(tp, ufetch_64);
ATF_TC_WITH_CLEANUP(ufetch_64);
ATF_TC_HEAD(ufetch_64, tc)
ATF_TC_BODY(ufetch_64, tc)
ATF_TC_CLEANUP(ufetch_64, tc)
args->fetchstore_error = ufetch_64(uaddr, &args->val64);