suword64_nowatch
extern int suword64_nowatch(void *, uint64_t);
if (suword64_nowatch(addr, res) != 0) {
if (suword64_nowatch(addr, data) == -1)