Symbol: __synchronize_hardirq
kernel/irq/manage.c
110
__synchronize_hardirq(desc, false);
kernel/irq/manage.c
121
__synchronize_hardirq(desc, true);