Searched refs:cp0_timer_irq_installed (Results 1 – 3 of 3) sorted by relevance
110 int cp0_timer_irq_installed; variable330 if (cp0_timer_irq_installed) in r4k_clockevent_init()333 cp0_timer_irq_installed = 1; in r4k_clockevent_init()
27 extern int cp0_timer_irq_installed;
54 cp0_timer_irq_installed = 1; in plat_time_init()