_ustore_16
if (_ustore_16((void *)memaddr, w) != 0)
return _ustore_16(uaddr, val);
int _ustore_16(uint16_t *, uint16_t);
return _ustore_16(uaddr, val);
int _ustore_16(uint16_t *, uint16_t);
int _ustore_16(uint16_t *, uint16_t);