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