ustore_64
__strong_alias(ustore_long,ustore_64);
__strong_alias(ustore_ptr,ustore_64);
int ustore_64(uint64_t *, uint64_t);
ATF_TP_ADD_TC(tp, ustore_64);
ATF_TC_WITH_CLEANUP(ustore_64);
ATF_TC_HEAD(ustore_64, tc)
ATF_TC_BODY(ustore_64, tc)
ATF_TC_CLEANUP(ustore_64, tc)
ATF_TP_ADD_TC(tp, ustore_64);
ATF_TC_WITH_CLEANUP(ustore_64);
ATF_TC_HEAD(ustore_64, tc)
ATF_TC_BODY(ustore_64, tc)
ATF_TC_CLEANUP(ustore_64, tc)
args->fetchstore_error = ustore_64(uaddr, args->val64);