kvm_get_vttbr     423 arch/arm/include/asm/kvm_mmu.h static __always_inline u64 kvm_get_vttbr(struct kvm *kvm)
kvm_get_vttbr     595 arch/arm64/include/asm/kvm_mmu.h static __always_inline u64 kvm_get_vttbr(struct kvm *kvm)