arch/arm64/kvm/at.c

169

vcpu_read_sys_reg(vcpu, TTBR1_EL2) :

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

108

write_sysreg_el1(__vcpu_sys_reg(vcpu, TTBR1_EL2), SYS_TTBR1);

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

51

__vcpu_assign_sys_reg(vcpu, TTBR1_EL2, read_sysreg_el1(SYS_TTBR1));

arch/arm64/kvm/nested.c

875

ttbr_elx = (tcr & TCR_A1) ? TTBR1_EL2 : TTBR0_EL2;

arch/arm64/kvm/sys_regs.c

190

MAPPED_EL2_SYSREG(TTBR1_EL2, TTBR1_EL1, NULL );

arch/arm64/kvm/sys_regs.c

3660

EL2_REG(TTBR1_EL2, access_rw, reset_val, 0),

tools/testing/selftests/kvm/arm64/get-reg-list.c

735

SYS_REG(TTBR1_EL2),

tools/testing/selftests/kvm/include/arm64/processor.h

344

MAPPED_EL2_SYSREG(TTBR1_EL2, TTBR1_EL1);