ipmmu_tlb_sync    320 drivers/iommu/ipmmu-vmsa.c 	ipmmu_tlb_sync(domain);
ipmmu_tlb_sync    528 drivers/iommu/ipmmu-vmsa.c 	ipmmu_tlb_sync(domain);