__domain_flush_pages 1300 drivers/iommu/amd_iommu.c 	__domain_flush_pages(domain, address, size, 0);
__domain_flush_pages 1306 drivers/iommu/amd_iommu.c 	__domain_flush_pages(domain, 0, CMD_INV_IOMMU_ALL_PAGES_ADDRESS, 0);
__domain_flush_pages 1312 drivers/iommu/amd_iommu.c 	__domain_flush_pages(domain, 0, CMD_INV_IOMMU_ALL_PAGES_ADDRESS, 1);