device_flush_dte 1354 drivers/iommu/amd_iommu.c 		device_flush_dte(dev_data);
device_flush_dte 2053 drivers/iommu/amd_iommu.c 	device_flush_dte(dev_data);
device_flush_dte 2070 drivers/iommu/amd_iommu.c 	device_flush_dte(dev_data);