The text fc7307df03e0, as Debian 8 (Jessie) shipped it.
pin user pages in memory
get_user_pages_fast(9) on Linux now
