irq_work_tick      42 include/linux/irq_work.h void irq_work_tick(void);
irq_work_tick    1729 kernel/time/timer.c 		irq_work_tick();