Only eventfd_write is used, so check for that