vfio_release_domain 2111 drivers/vfio/vfio_iommu_type1.c 		vfio_release_domain(iommu->external_domain, true);
vfio_release_domain 2120 drivers/vfio/vfio_iommu_type1.c 		vfio_release_domain(domain, false);