kvm_pfn_pte       620 virt/kvm/arm/mmu.c 		kvm_set_pte(pte, kvm_pfn_pte(pfn, prot));
kvm_pfn_pte      1351 virt/kvm/arm/mmu.c 		pte_t pte = kvm_pfn_pte(pfn, PAGE_S2_DEVICE);
kvm_pfn_pte      1834 virt/kvm/arm/mmu.c 		pte_t new_pte = kvm_pfn_pte(pfn, mem_type);
kvm_pfn_pte      2095 virt/kvm/arm/mmu.c 	stage2_pte = kvm_pfn_pte(pfn, PAGE_S2);