The text db5d179b1217, as Debian 7 (Wheezy) shipped it.
unlock a locked page
unlock_page(9) on Linux now
