Symbol: vm_isa_pulse_irq