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