hptep1           1066 arch/powerpc/kvm/book3s_64_mmu_hv.c 		unsigned long hptep1;
hptep1           1084 arch/powerpc/kvm/book3s_64_mmu_hv.c 		hptep1 = be64_to_cpu(hptep[1]);
hptep1           1085 arch/powerpc/kvm/book3s_64_mmu_hv.c 		if (!(hptep1 & HPTE_R_C) &&
hptep1           1086 arch/powerpc/kvm/book3s_64_mmu_hv.c 		    (!hpte_is_writable(hptep1) || vcpus_running(kvm)))