Symbol: VM_IOAPIC_PULSE_IRQ