__phys_to_pgd_val  175 arch/arm64/include/asm/kvm_mmu.h 	__pgd(__phys_to_pgd_val(__pa(pudp)) | PUD_TYPE_TABLE)
__phys_to_pgd_val  399 arch/arm64/include/asm/kvm_mmu.h 	pgd_addr = __phys_to_pgd_val(__pa(hyp_pgd));
__phys_to_pgd_val  410 arch/arm64/include/asm/kvm_mmu.h 	pgd_addr = __phys_to_pgd_val(__pa(boot_hyp_pgd));
__phys_to_pgd_val   78 arch/arm64/include/asm/pgalloc.h 	set_pgd(pgdp, __pgd(__phys_to_pgd_val(pudp) | prot));