_ufetch_64
int _ufetch_64(const uint64_t *, uint64_t *);
return _ufetch_64(uaddr, valp);
error = _ufetch_64(uva, ret);
return _ufetch_64(uaddr, valp);
int _ufetch_64(const uint64_t *, uint64_t *);
_ret = _ufetch_64(uaddr, valp);
error = _ufetch_64(uva, ret);
int _ufetch_64(const uint64_t *, uint64_t *);