VFIO_PCI_NUM_IRQS
info.num_irqs = VFIO_PCI_NUM_IRQS;
if (info.argsz < minsz || info.index >= VFIO_PCI_NUM_IRQS)
VFIO_PCI_NUM_IRQS, &data_size);
info.num_irqs = VFIO_PCI_NUM_IRQS;
if (info.argsz < minsz || info.index >= VFIO_PCI_NUM_IRQS)
ret = vfio_set_irqs_validate_and_prepare(&hdr, max, VFIO_PCI_NUM_IRQS,
vdev->irq_type = VFIO_PCI_NUM_IRQS;
vdev->irq_type = VFIO_PCI_NUM_IRQS;
vdev->irq_type = VFIO_PCI_NUM_IRQS;
vdev->irq_type = VFIO_PCI_NUM_IRQS;
dev_info->num_irqs = VFIO_PCI_NUM_IRQS;
(info.index >= VFIO_PCI_NUM_IRQS))
dev_info->num_irqs = VFIO_PCI_NUM_IRQS;
dev_info->num_irqs = VFIO_PCI_NUM_IRQS;
VFIO_PCI_NUM_IRQS,