VTTBR              69 arch/arm/kvm/hyp/switch.c 	write_sysreg(kvm_get_vttbr(kvm), VTTBR);
VTTBR              75 arch/arm/kvm/hyp/switch.c 	write_sysreg(0, VTTBR);
VTTBR             225 arch/arm/kvm/hyp/switch.c 	if (read_sysreg(VTTBR)) {
VTTBR              33 arch/arm/kvm/hyp/tlb.c 	write_sysreg(kvm_get_vttbr(kvm), VTTBR);
VTTBR              40 arch/arm/kvm/hyp/tlb.c 	write_sysreg(0, VTTBR);
VTTBR              53 arch/arm/kvm/hyp/tlb.c 	write_sysreg(kvm_get_vttbr(kvm), VTTBR);
VTTBR              60 arch/arm/kvm/hyp/tlb.c 	write_sysreg(0, VTTBR);