The text 42e8a7fbbf35, as Debian 8 (Jessie) shipped it.
Reads the eventfd counter or wait if it is zero.
eventfd_ctx_read(9) on Linux now
