The text b3eb7edc4ff6, as Debian 7 (Wheezy) shipped it.
explain eventfd(2) errors
explain_eventfd(3) on Linux now