vm_isa_pulse_irq
int vm_isa_pulse_irq(struct vmctx *ctx, int atpic_irq, int ioapic_irq);
vm_isa_pulse_irq(sc->ctx, sc->kbd.irq, sc->kbd.irq);
vm_isa_pulse_irq(sc->ctx, sc->aux.irq, sc->aux.irq);
vm_isa_pulse_irq(lpc_bridge->pi_vmctx, sc->irq, sc->irq);