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