eventfd() is not used from python code.