Symbol: vioapic_pulse_irq