vttbr_el2          91 arch/arm64/include/asm/kvm_hyp.h 	write_sysreg(kvm_get_vttbr(kvm), vttbr_el2);
vttbr_el2         224 arch/arm64/kvm/hyp/switch.c 	write_sysreg(0, vttbr_el2);
vttbr_el2         745 arch/arm64/kvm/hyp/switch.c 	if (read_sysreg(vttbr_el2)) {
vttbr_el2          86 arch/arm64/kvm/hyp/tlb.c 	write_sysreg(0, vttbr_el2);
vttbr_el2         102 arch/arm64/kvm/hyp/tlb.c 	write_sysreg(0, vttbr_el2);