Symbol: kvm_mmu_get_httbr
arch/arm64/include/asm/kvm_mmu.h
187
phys_addr_t kvm_mmu_get_httbr(void);
arch/arm64/kvm/arm.c
2091
params->pgd_pa = kvm_mmu_get_httbr();