timer_interrupt    75 arch/x86/kernel/time_32.c irqreturn_t timer_interrupt(int irq, void *dev_id)
timer_interrupt    52 arch/x86/kernel/time_64.c irqreturn_t timer_interrupt(int irq, void *dev_id)