SYS_TCR           420 arch/arm64/kvm/hyp/switch.c 		write_sysreg_el1(val, SYS_TCR);
SYS_TCR            51 arch/arm64/kvm/hyp/sysreg-sr.c 	ctxt->sys_regs[TCR_EL1]		= read_sysreg_el1(SYS_TCR);
SYS_TCR           125 arch/arm64/kvm/hyp/sysreg-sr.c 	write_sysreg_el1(ctxt->sys_regs[TCR_EL1],	SYS_TCR);
SYS_TCR            36 arch/arm64/kvm/hyp/tlb.c 		val = cxt->tcr = read_sysreg_el1(SYS_TCR);
SYS_TCR            38 arch/arm64/kvm/hyp/tlb.c 		write_sysreg_el1(val, SYS_TCR);
SYS_TCR            92 arch/arm64/kvm/hyp/tlb.c 		write_sysreg_el1(cxt->tcr, SYS_TCR);