dtrace_fuword8
dtrace_fuword8((void *)(uintptr_t)regs[r1]);
dtrace_fuword8((void *)(uintptr_t)regs[r1]);
c = dtrace_fuword8((void *)(uintptr_t)val++);
c = dtrace_fuword8((void *)(uintptr_t)val++);
extern uint8_t dtrace_fuword8(void *);