translate_ttbr0_el2_to_ttbr0_el1 - Linux

Symbol: translate_ttbr0_el2_to_ttbr0_el1

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

val = translate_ttbr0_el2_to_ttbr0_el1(__vcpu_sys_reg(vcpu, TTBR0_EL2));

arch/arm64/kvm/sys_regs.c

translate_ttbr0_el2_to_ttbr0_el1 );