Symbol: timer_of_irq_exit
drivers/clocksource/timer-of.c
194
timer_of_irq_exit(&to->of_irq);
drivers/clocksource/timer-of.c
215
timer_of_irq_exit(&to->of_irq);