VM_IOAPIC_PULSE_IRQ
return (ioctl(ctx->fd, VM_IOAPIC_PULSE_IRQ, &ioapic_irq));
VM_IOAPIC_PULSE_IRQ, \
VMMDEV_IOCTL(VM_IOAPIC_PULSE_IRQ, 0),
case VM_IOAPIC_PULSE_IRQ: {