vioapic_pulse_irq
(void) vioapic_pulse_irq(vatpic->vm, 0);
(void) vioapic_pulse_irq(vatpit->vm, 2);
(void) vioapic_pulse_irq(vhpet->vm, pin);
int vioapic_pulse_irq(struct vm *vm, int irq);
(void) vioapic_pulse_irq(vrtc->vm, RTC_IRQ);
error = vioapic_pulse_irq(sc->vmm_vm, ioapic_irq.irq);
error = vioapic_pulse_irq(sc->vmm_vm,