arch/arm64/kvm/nested.c

1814

set_sysreg_masks(kvm, VTTBR_EL2, resx);

arch/arm64/kvm/nested.c

478

wi->baddr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);

arch/arm64/kvm/nested.c

748

vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);

arch/arm64/kvm/nested.c

833

s2_mmu->tlb_vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2) & ~VTTBR_CNP_BIT;

arch/arm64/kvm/sys_regs.c

3762

EL2_REG_VNCR(VTTBR_EL2, reset_val, 0),

arch/arm64/kvm/sys_regs.c

4039

vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);

arch/arm64/kvm/sys_regs.c

4058

u64 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);

arch/arm64/kvm/sys_regs.c

4113

u64 vttbr = vcpu_read_sys_reg(vcpu, VTTBR_EL2);

arch/arm64/kvm/sys_regs.c

4183

get_vmid(__vcpu_sys_reg(vcpu, VTTBR_EL2)),

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

738

SYS_REG(VTTBR_EL2),