_ustore_64
error = _ustore_64(uva, new);
return _ustore_64(uaddr, val);
int _ustore_64(uint64_t *, uint64_t);
return _ustore_64(uaddr, val);
error = _ustore_64(uva, new);
int _ustore_64(uint64_t *, uint64_t);
int _ustore_64(uint64_t *, uint64_t);