timerfd follows ctypes naming convention used in i2c_ctypes.py