ipmmu_ctx_write_root  420 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_root(domain, IMTTLBR0, ttbr);
ipmmu_ctx_write_root  421 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_root(domain, IMTTUBR0, ttbr >> 32);
ipmmu_ctx_write_root  437 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_root(domain, IMTTBCR, IMTTBCR_EAE | tmp);
ipmmu_ctx_write_root  440 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_root(domain, IMMAIR0,
ipmmu_ctx_write_root  445 drivers/iommu/ipmmu-vmsa.c 		ipmmu_ctx_write_root(domain, IMBUSCR,
ipmmu_ctx_write_root  453 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_root(domain, IMSTR, ipmmu_ctx_read_root(domain, IMSTR));
ipmmu_ctx_write_root  557 drivers/iommu/ipmmu-vmsa.c 	ipmmu_ctx_write_root(domain, IMSTR, 0);