Lines Matching refs:timer_id
27 int timer_id = timer->timer_id; in raspi_systimer_start() local
35 if (timer_id == 1) in raspi_systimer_start()
40 else if (timer_id == 3) in raspi_systimer_start()
56 int timer_id = timer->timer_id; in raspi_systimer_stop() local
57 if (timer_id == 1) in raspi_systimer_stop()
59 else if (timer_id == 3) in raspi_systimer_stop()
85 int timer_id = timer->timer_id; in rt_device_systimer_isr() local
88 if (timer_id == 1) in rt_device_systimer_isr()
93 else if (timer_id == 3) in rt_device_systimer_isr()
138 _systimer1.timer_id =1; in rt_hw_systimer_init()
147 _systimer3.timer_id =3; in rt_hw_systimer_init()