_ustore_32
error = _ustore_32(uva, new);
return _ustore_32(uaddr, val);
int _ustore_32(uint32_t *, uint32_t);
return _ustore_32(uaddr, val);
error = _ustore_32(uva, new);
int _ustore_32(uint32_t *, uint32_t);
int _ustore_32(uint32_t *, uint32_t);