simplify compat_sys_timerfd