IMUCTR            339 drivers/iommu/ipmmu-vmsa.c 	ipmmu_write(mmu, IMUCTR(utlb),
IMUCTR            353 drivers/iommu/ipmmu-vmsa.c 	ipmmu_write(mmu, IMUCTR(utlb), 0);