The text daec33bc45ec, as Debian 7 (Wheezy) shipped it.
Add an arbitrary waiter to a page's wait queue
add_page_wait_queue(9) on Linux now
