fuword32_nowatch
extern int fuword32_nowatch(const void *, uint32_t *);
if (fuword32_nowatch((void *)pc, (uint32_t *)&instr) != 0)
if (fuword32_nowatch(addr, &res) == -1) {
if (fuword32_nowatch(vaddr, (uint32_t *)&instr) == -1)