__copy_from_user(9) on Linux

The text 480a9643c648, as Debian 9 (Stretch) shipped it. The page shows this text now.

Copy a block of data from user space, with less checking.