Searched refs:old_domid (Results 1 – 1 of 1) sorted by relevance
1914 u32 old_domid; in set_dte_entry() local1964 old_domid = amd_iommu_dev_table[devid].data[1] & DEV_DOMID_MASK; in set_dte_entry()1973 if (old_domid) { in set_dte_entry()1976 amd_iommu_flush_tlb_domid(iommu, old_domid); in set_dte_entry()