dtrace_fuword64
dtrace_fuword64((void *)(uintptr_t)regs[r1]);
extern uint64_t dtrace_fuword64(void *);