587 		pr_err("DTE[%d]: %016llx\n", i, dev_table[devid].data[i]);  in dump_dte_entry()
1903 		/* Encode GCR3 table into DTE */  in set_dte_entry()
1955 /* Update and flush DTE for the given device */
2056 	/* Clear DTE and flush the entry */  in do_detach()
2134 		/* Updated here so that it gets reflected in DTE */  in detach_device()
2353 	 * Since DTE[Mode]=0 is prohibited on SNP-enabled system,  in do_iommu_domain_alloc()
2432 	/* Clear DTE and flush the entry */  in blocked_domain_attach_device()
2645 		/* Flush device DTE */  in amd_iommu_set_dirty_tracking()
2788 	 *  - SNP is enabled, because it prohibits DTE[Mode]=0.  in amd_iommu_def_domain_type()
2911 	u64 dte;  in set_dte_irq_entry()  local
2914 	dte	= dev_table[devid].data[2];  in set_dte_irq_entry()
2915 	dte	&= ~DTE_IRQ_PHYS_ADDR_MASK;  in set_dte_irq_entry()
2916 	dte	|= iommu_virt_to_phys(table->table);  in set_dte_irq_entry()
2917 	dte	|= DTE_IRQ_REMAP_INTCTL;  in set_dte_irq_entry()
2918 	dte	|= DTE_INTTABLEN;  in set_dte_irq_entry()
2919 	dte	|= DTE_IRQ_REMAP_ENABLE;  in set_dte_irq_entry()
2921 	dev_table[devid].data[2] = dte;  in set_dte_irq_entry()