translate_tcr_el2_to_tcr_el1 - Linux

Symbol: translate_tcr_el2_to_tcr_el1

arch/arm64/kvm/hyp/vhe/sysreg-sr.c

val = translate_tcr_el2_to_tcr_el1(__vcpu_sys_reg(vcpu, TCR_EL2));

arch/arm64/kvm/sys_regs.c

translate_tcr_el2_to_tcr_el1 );