Symbol: cache_tag_flush_iotlb
drivers/iommu/intel/cache.c
461
cache_tag_flush_iotlb(domain, tag, addr, pages, mask, ih);
drivers/iommu/intel/cache.c
529
cache_tag_flush_iotlb(domain, tag, addr, pages, mask, 0);