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