get_user_pages_fast(9) on Linux

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

pin user pages in memory

get_user_pages_fast(9) on Linux now