VFIO_PCI_CONFIG_REGION_INDEX
if (dev->num_regions > VFIO_PCI_CONFIG_REGION_INDEX + 1)
dev->num_regions = VFIO_PCI_CONFIG_REGION_INDEX + 1;
return vfio_region_read(dev, VFIO_PCI_CONFIG_REGION_INDEX,
return vfio_region_write(dev, VFIO_PCI_CONFIG_REGION_INDEX,
case VFIO_PCI_CONFIG_REGION_INDEX:
case VFIO_PCI_CONFIG_REGION_INDEX:
case VFIO_PCI_CONFIG_REGION_INDEX:
case VFIO_PCI_CONFIG_REGION_INDEX:
if (index == VFIO_PCI_CONFIG_REGION_INDEX)
if (index == VFIO_PCI_CONFIG_REGION_INDEX)
case VFIO_PCI_CONFIG_REGION_INDEX:
case VFIO_PCI_CONFIG_REGION_INDEX:
if (index == VFIO_PCI_CONFIG_REGION_INDEX)
if (index == VFIO_PCI_CONFIG_REGION_INDEX)
case VFIO_PCI_CONFIG_REGION_INDEX:
case VFIO_PCI_CONFIG_REGION_INDEX:
case VFIO_PCI_CONFIG_REGION_INDEX:
case VFIO_PCI_CONFIG_REGION_INDEX:
vfio_pci_region_get(device, VFIO_PCI_CONFIG_REGION_INDEX, &device->config_space);