Name

synchronize_irq — wait for pending IRQ handlers (on other CPUs)