The text b7d7f2ec7f19, as Debian 4.0 (Etch) shipped it.
unlock a locked page
unlock_page(9) on Linux now
