ucas_64
__strong_alias(ucas_ptr,ucas_64);
int ucas_64(volatile uint64_t *, uint64_t, uint64_t, uint64_t *);
ATF_TC_WITH_CLEANUP(ucas_64);
ATF_TC_HEAD(ucas_64, tc)
ATF_TC_BODY(ucas_64, tc)
ATF_TC_CLEANUP(ucas_64, tc)
ATF_TP_ADD_TC(tp, ucas_64);
ATF_TC_WITH_CLEANUP(ucas_64);
ATF_TC_HEAD(ucas_64, tc)
ATF_TC_BODY(ucas_64, tc)
ATF_TC_CLEANUP(ucas_64, tc)
ATF_TP_ADD_TC(tp, ucas_64);
args->fetchstore_error = ucas_64(uaddr,