timer_of_irq_exit  203 drivers/clocksource/timer-of.c 		timer_of_irq_exit(&to->of_irq);
timer_of_irq_exit  223 drivers/clocksource/timer-of.c 		timer_of_irq_exit(&to->of_irq);