replace_rpte     1361 arch/powerpc/kvm/book3s_64_mmu_hv.c 		unsigned long replace_rpte = be64_to_cpu(new_hptep[1]);
replace_rpte     1362 arch/powerpc/kvm/book3s_64_mmu_hv.c 		replace_vpte = hpte_new_to_old_v(replace_vpte, replace_rpte);