4.1.3.1 copyout (Process-Destructive)

void copyout(void *buf, uintptr_t addr, size_t nbytes)

The copyout action copies nbytes from the buffer that is specified by buf to the address that is specified by addr, in the address space of the process that associated with the current thread. If the user-space address does not correspond to a valid, faulted-in page in the current address space, an error is generated.