Searched refs:old_domid (Results 1 – 1 of 1) sorted by relevance
1905 u32 old_domid; in set_dte_entry() local1955 old_domid = amd_iommu_dev_table[devid].data[1] & DEV_DOMID_MASK; in set_dte_entry()1964 if (old_domid) { in set_dte_entry()1967 amd_iommu_flush_tlb_domid(iommu, old_domid); in set_dte_entry()
