vfio_region_read
return vfio_region_read(dev, VFIO_PCI_CONFIG_REGION_INDEX,
return vfio_region_read(dev, bar, offset, buf, size);