_ucas_64
__strong_alias(_ucas_64,__ucas_64);
int _ucas_64(volatile uint64_t *, uint64_t, uint64_t, uint64_t *);
return _ucas_64(uaddr, old, new, ret);
return _ucas_64(uaddr, old, new, ret);
int _ucas_64(volatile uint64_t *, uint64_t, uint64_t, uint64_t *);
_ret = _ucas_64(uaddr, old, new, ret);
int _ucas_64(volatile uint64_t *, uint64_t, uint64_t, uint64_t *);