dtrace_copyout
dtrace_copyout(kaddr, uaddr, size, flags);
extern void dtrace_copyout(uintptr_t, uintptr_t, size_t, volatile uint16_t *);