__synchronize_hardirq  103 kernel/irq/manage.c 		__synchronize_hardirq(desc, false);
__synchronize_hardirq  131 kernel/irq/manage.c 		__synchronize_hardirq(desc, true);
__synchronize_hardirq 1754 kernel/irq/manage.c 	__synchronize_hardirq(desc, true);