VM_IOAPIC_PULSE_IRQ
{ (uint_t)VM_IOAPIC_PULSE_IRQ, "VM_IOAPIC_PULSE_IRQ", NULL },
return (ioctl(ctx->fd, VM_IOAPIC_PULSE_IRQ, &ioapic_irq));
VM_IOAPIC_PULSE_IRQ, VM_IOAPIC_PINCOUNT, VM_ISA_ASSERT_IRQ,
case VM_IOAPIC_PULSE_IRQ:
case VM_IOAPIC_PULSE_IRQ: {