kvm_pgd_index     545 virt/kvm/arm/mmu.c 	pgd = pgdp + kvm_pgd_index(addr, ptrs_per_pgd);
kvm_pgd_index     705 virt/kvm/arm/mmu.c 		pgd = pgdp + kvm_pgd_index(addr, ptrs_per_pgd);