SYS_TTBR1         417 arch/arm64/kvm/hyp/switch.c 		write_sysreg_el1(val, SYS_TTBR1);
SYS_TTBR1          50 arch/arm64/kvm/hyp/sysreg-sr.c 	ctxt->sys_regs[TTBR1_EL1]	= read_sysreg_el1(SYS_TTBR1);
SYS_TTBR1         124 arch/arm64/kvm/hyp/sysreg-sr.c 	write_sysreg_el1(ctxt->sys_regs[TTBR1_EL1],	SYS_TTBR1);