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