kvmppc_pte_free   443 arch/powerpc/kvm/book3s_64_mmu_radix.c 	kvmppc_pte_free(pte);
kvmppc_pte_free   734 arch/powerpc/kvm/book3s_64_mmu_radix.c 		kvmppc_pte_free(new_ptep);