VFIO_DEVICE_GET_IRQ_INFO
if (ioctl(dev->device, VFIO_DEVICE_GET_IRQ_INFO, &irq_info) < 0) {
} else if (cmd == VFIO_DEVICE_GET_IRQ_INFO) {
case VFIO_DEVICE_GET_IRQ_INFO:
case VFIO_DEVICE_GET_IRQ_INFO:
case VFIO_DEVICE_GET_IRQ_INFO:
case VFIO_DEVICE_GET_IRQ_INFO:
case VFIO_DEVICE_GET_IRQ_INFO:
} else if (cmd == VFIO_DEVICE_GET_IRQ_INFO) {
case VFIO_DEVICE_GET_IRQ_INFO:
case VFIO_DEVICE_GET_IRQ_INFO:
case VFIO_DEVICE_GET_IRQ_INFO:
ioctl_assert(device->fd, VFIO_DEVICE_GET_IRQ_INFO, irq_info);