old_domid        1957 drivers/iommu/amd_iommu.c 	u32 old_domid;
old_domid        2007 drivers/iommu/amd_iommu.c 	old_domid = amd_iommu_dev_table[devid].data[1] & DEV_DOMID_MASK;
old_domid        2016 drivers/iommu/amd_iommu.c 	if (old_domid) {
old_domid        2019 drivers/iommu/amd_iommu.c 		amd_iommu_flush_tlb_domid(iommu, old_domid);