434225230081 ("eventfd: Remove usage of the deprecated ida_simple_xx() API")