238 				unsigned int utlb, u32 data)  in ipmmu_imuasid_write()  argument
240 	ipmmu_write(mmu, ipmmu_utlb_reg(mmu, IMUASID(utlb)), data);  in ipmmu_imuasid_write()
244 			       unsigned int utlb, u32 data)  in ipmmu_imuctr_write()  argument
246 	ipmmu_write(mmu, ipmmu_utlb_reg(mmu, IMUCTR(utlb)), data);  in ipmmu_imuctr_write()
280 			      unsigned int utlb)  in ipmmu_utlb_enable()  argument
290 	ipmmu_imuasid_write(mmu, utlb, 0);  in ipmmu_utlb_enable()
292 	ipmmu_imuctr_write(mmu, utlb, IMUCTR_TTSEL_MMU(domain->context_id) |  in ipmmu_utlb_enable()
294 	mmu->utlb_ctx[utlb] = domain->context_id;  in ipmmu_utlb_enable()
301 			       unsigned int utlb)  in ipmmu_utlb_disable()  argument
305 	ipmmu_imuctr_write(mmu, utlb, 0);  in ipmmu_utlb_disable()
306 	mmu->utlb_ctx[utlb] = IPMMU_CTX_INVALID;  in ipmmu_utlb_disable()
864 		unsigned int utlb = fwspec->ids[i];  in ipmmu_release_device()  local
866 		ipmmu_imuctr_write(mmu, utlb, 0);  in ipmmu_release_device()
867 		mmu->utlb_ctx[utlb] = IPMMU_CTX_INVALID;  in ipmmu_release_device()