132 /* uTLB registers */
239 				unsigned int utlb, u32 data)  in ipmmu_imuasid_write()  argument
241 	ipmmu_write(mmu, ipmmu_utlb_reg(mmu, IMUASID(utlb)), data);  in ipmmu_imuasid_write()
245 			       unsigned int utlb, u32 data)  in ipmmu_imuctr_write()  argument
247 	ipmmu_write(mmu, ipmmu_utlb_reg(mmu, IMUCTR(utlb)), data);  in ipmmu_imuctr_write()
281 			      unsigned int utlb)  in ipmmu_utlb_enable()  argument
291 	ipmmu_imuasid_write(mmu, utlb, 0);  in ipmmu_utlb_enable()
293 	ipmmu_imuctr_write(mmu, utlb, IMUCTR_TTSEL_MMU(domain->context_id) |  in ipmmu_utlb_enable()
295 	mmu->utlb_ctx[utlb] = domain->context_id;  in ipmmu_utlb_enable()
827 		unsigned int utlb = fwspec->ids[i];  in ipmmu_release_device()  local
829 		ipmmu_imuctr_write(mmu, utlb, 0);  in ipmmu_release_device()
830 		mmu->utlb_ctx[utlb] = IPMMU_CTX_INVALID;  in ipmmu_release_device()