kvm_mmu_get_httbr   64 arch/arm/include/asm/kvm_mmu.h phys_addr_t kvm_mmu_get_httbr(void);
kvm_mmu_get_httbr  165 arch/arm64/include/asm/kvm_mmu.h phys_addr_t kvm_mmu_get_httbr(void);
kvm_mmu_get_httbr 1348 virt/kvm/arm/arm.c 	pgd_ptr = kvm_mmu_get_httbr();