_ucas_64_mp
int _ucas_64_mp(volatile uint64_t *, uint64_t, uint64_t, uint64_t *);
return _ucas_64_mp(uaddr, old, new, ret);
return _ucas_64_mp(uaddr, old, new, ret);
int _ucas_64_mp(volatile uint64_t *, uint64_t, uint64_t, uint64_t *);
_ret = _ucas_64_mp(uaddr, old, new, ret);
int _ucas_64_mp(volatile uint64_t *, uint64_t, uint64_t, uint64_t *);