Searched refs:old_domid (Results 1 – 1 of 1) sorted by relevance
1543 u32 old_domid; in set_dte_entry() local1603 old_domid = dev_table[devid].data[1] & DEV_DOMID_MASK; in set_dte_entry()1612 if (old_domid) { in set_dte_entry()1613 amd_iommu_flush_tlb_domid(iommu, old_domid); in set_dte_entry()