_ufetch_16
if (_ufetch_16((void *)memaddr, &w) != 0)
int _ufetch_16(const uint16_t *, uint16_t *);
return _ufetch_16(uaddr, valp);
return _ufetch_16(uaddr, valp);
int _ufetch_16(const uint16_t *, uint16_t *);
_ret = _ufetch_16(uaddr, valp);
int _ufetch_16(const uint16_t *, uint16_t *);