vfio_pci_device_free
void vfio_pci_device_free(struct vfio_pci_device *device);
vfio_pci_device_free(device);