vfio_config_free 400 drivers/vfio/pci/vfio_pci.c vfio_config_free(vdev); vfio_config_free 157 drivers/vfio/pci/vfio_pci_private.h extern void vfio_config_free(struct vfio_pci_device *vdev);