Searched refs:old_domid (Results 1 – 1 of 1) sorted by relevance
1850 u32 old_domid; in set_dte_entry() local1926 old_domid = dev_table[devid].data[1] & DEV_DOMID_MASK; in set_dte_entry()1935 if (old_domid) { in set_dte_entry()1936 amd_iommu_flush_tlb_domid(iommu, old_domid); in set_dte_entry()