Symbol: __domain_flush_pages
drivers/iommu/amd/iommu.c
1787
__domain_flush_pages(domain, address, last, flags);
drivers/iommu/amd/iommu.c
1813
__domain_flush_pages(domain, address, flush_last, flags);