kvm_get_vttbr      69 arch/arm/kvm/hyp/switch.c 	write_sysreg(kvm_get_vttbr(kvm), VTTBR);
kvm_get_vttbr      33 arch/arm/kvm/hyp/tlb.c 	write_sysreg(kvm_get_vttbr(kvm), VTTBR);
kvm_get_vttbr      53 arch/arm/kvm/hyp/tlb.c 	write_sysreg(kvm_get_vttbr(kvm), VTTBR);
kvm_get_vttbr      91 arch/arm64/include/asm/kvm_hyp.h 	write_sysreg(kvm_get_vttbr(kvm), vttbr_el2);