_ucas_32
__strong_alias(_ucas_32,__ucas_32);
int _ucas_32(volatile uint32_t *, uint32_t, uint32_t, uint32_t *);
return _ucas_32(uaddr, old, new, ret);
return _ucas_32(uaddr, old, new, ret);
int _ucas_32(volatile uint32_t *, uint32_t, uint32_t, uint32_t *);
_ret = _ucas_32(uaddr, old, new, ret);
int _ucas_32(volatile uint32_t *, uint32_t, uint32_t, uint32_t *);