intel_pasid_free_id 5253 drivers/iommu/intel-iommu.c 		intel_pasid_free_id(domain->default_pasid);
intel_pasid_free_id 5310 drivers/iommu/intel-iommu.c 		intel_pasid_free_id(domain->default_pasid);
intel_pasid_free_id   80 drivers/iommu/intel-pasid.h void intel_pasid_free_id(int pasid);
intel_pasid_free_id  336 drivers/iommu/intel-svm.c 				intel_pasid_free_id(svm->pasid);
intel_pasid_free_id  352 drivers/iommu/intel-svm.c 			intel_pasid_free_id(svm->pasid);
intel_pasid_free_id  422 drivers/iommu/intel-svm.c 					intel_pasid_free_id(svm->pasid);