void copyinto(uintptr_t addr, size_t size, void *dest)
copyinto() は、指定されたユーザーアドレス addr から、dest で指定された DTrace スクラッチバッファーに、指定されたサイズ size バイトをコピーします。ユーザーアドレスは、現在のスレッドに関連付けられたプロセスの空間に含まれるアドレスであると見なされます。指定されたアドレスは、現在のプロセス内のフォルトインページに対応している必要があります。アドレスがフォルトインページに対応していない場合や、コピー先のメモリーの一部がスクラッチ空間内にない場合、コピーは行われず、エラーが生成されます。第 33 章ユーザープロセスのトレース エラーが発生する可能性を減らすテクニックについては、Chapter 33, User Process Tracingを参照してください。