Searched refs:cp0_timer_irq_installed (Results 1 – 2 of 2) sorted by relevance
109 int cp0_timer_irq_installed; variable289 if (cp0_timer_irq_installed) in r4k_clockevent_init()292 cp0_timer_irq_installed = 1; in r4k_clockevent_init()
27 extern int cp0_timer_irq_installed;
