domain_flush_cache  914 drivers/iommu/intel-iommu.c 			domain_flush_cache(domain, tmp_page, VTD_PAGE_SIZE);
domain_flush_cache  920 drivers/iommu/intel-iommu.c 				domain_flush_cache(domain, pte, sizeof(*pte));
domain_flush_cache  993 drivers/iommu/intel-iommu.c 		domain_flush_cache(domain, first_pte,
domain_flush_cache 1030 drivers/iommu/intel-iommu.c 			domain_flush_cache(domain, pte, sizeof(*pte));
domain_flush_cache 1137 drivers/iommu/intel-iommu.c 		domain_flush_cache(domain, first_pte,
domain_flush_cache 2093 drivers/iommu/intel-iommu.c 	domain_flush_cache(domain, context, sizeof(*context));
domain_flush_cache 2327 drivers/iommu/intel-iommu.c 			domain_flush_cache(domain, first_pte,
domain_flush_cache 5159 drivers/iommu/intel-iommu.c 	domain_flush_cache(domain, domain->pgd, PAGE_SIZE);