ipmmu_device_reset 1118 drivers/iommu/ipmmu-vmsa.c 		ipmmu_device_reset(mmu);
ipmmu_device_reset 1171 drivers/iommu/ipmmu-vmsa.c 	ipmmu_device_reset(mmu);
ipmmu_device_reset 1184 drivers/iommu/ipmmu-vmsa.c 		ipmmu_device_reset(mmu);