suword32_nowatch
extern int suword32_nowatch(void *, uint32_t);
if (suword32_nowatch(addr, res) != 0) {