__copy_from_user(9) on Linux

The text 346b14f2d833, as Debian 7 (Wheezy) shipped it.

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

__copy_from_user(9) on Linux now