Searched refs:cp0_timer_irq_installed (Results 1 – 2 of 2) sorted by relevance
32 int cp0_timer_irq_installed; variable216 if (cp0_timer_irq_installed) in r4k_clockevent_init()219 cp0_timer_irq_installed = 1; in r4k_clockevent_init()
27 extern int cp0_timer_irq_installed;