dtrace_fuword16
dtrace_fuword16((void *)(uintptr_t)regs[r1]);
extern uint16_t dtrace_fuword16(void *);