void copyinto(uintptr_t addr, size_t size, void *dest)

The copyinto function copies the specified size in bytes from the specified user address (addr) into the DTrace scratch buffer that is specified by dest. The user address is interpreted as an address in the space of the process that is associated with the current thread. The address in question must correspond to a faulted-in page in the current process. If the address does not correspond to a faulted-in page, or if any of the destination memory lies outside of scratch memory, no copying takes place and an error is generated.