Symbol: irq_work_tick
include/linux/irq_work.h
55
void irq_work_tick(void);
kernel/time/timer.c
2477
irq_work_tick();