dtrace_copyinstr
dtrace_copyinstr(tupregs[0].dttk_value, dest, size, flags);
extern void dtrace_copyinstr(uintptr_t, uintptr_t, size_t, volatile uint16_t *);