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