-void timer_push(int timer);
-void timer_pop(void);
-void timer_start(int timer);
-void timer_stop(int timer);
+void timer_push(ir_timer_t *timer);
+void timer_pop(ir_timer_t *timer);
+void timer_start(ir_timer_t *timer);
+void timer_stop(ir_timer_t *timer);