Searched refs:cp0_timer_irq_installed (Results 1 – 2 of 2) sorted by relevance
38 int cp0_timer_irq_installed; variable220 if (cp0_timer_irq_installed) in r4k_clockevent_init()223 cp0_timer_irq_installed = 1; in r4k_clockevent_init()
28 extern int cp0_timer_irq_installed;