_ufetch_32
int _ufetch_32(const uint32_t *, uint32_t *);
return _ufetch_32(uaddr, valp);
error = _ufetch_32(uva, ret);
return _ufetch_32(uaddr, valp);
int _ufetch_32(const uint32_t *, uint32_t *);
_ret = _ufetch_32(uaddr, valp);
error = _ufetch_32(uva, ret);
int _ufetch_32(const uint32_t *, uint32_t *);