Symbol: __domain_flush_pages
drivers/iommu/amd/iommu.c
1773
__domain_flush_pages(domain, address, size);
drivers/iommu/amd/iommu.c
1810
__domain_flush_pages(domain, address, flush_size);