495 	unsigned long hpte[3], r;  in kvmppc_book3s_hv_page_fault()  local
544 	hpte[0] = be64_to_cpu(hptep[0]) & ~HPTE_V_HVLOCK;  in kvmppc_book3s_hv_page_fault()
545 	hpte[1] = be64_to_cpu(hptep[1]);  in kvmppc_book3s_hv_page_fault()
546 	hpte[2] = r = rev->guest_rpte;  in kvmppc_book3s_hv_page_fault()
547 	unlock_hpte(hptep, hpte[0]);  in kvmppc_book3s_hv_page_fault()
551 		hpte[0] = hpte_new_to_old_v(hpte[0], hpte[1]);  in kvmppc_book3s_hv_page_fault()
552 		hpte[1] = hpte_new_to_old_r(hpte[1]);  in kvmppc_book3s_hv_page_fault()
554 	if (hpte[0] != vcpu->arch.pgfault_hpte[0] ||  in kvmppc_book3s_hv_page_fault()
555 	    hpte[1] != vcpu->arch.pgfault_hpte[1])  in kvmppc_book3s_hv_page_fault()
559 	psize = kvmppc_actual_pgsz(hpte[0], r);  in kvmppc_book3s_hv_page_fault()
566 	trace_kvm_page_fault_enter(vcpu, hpte, memslot, ea, dsisr);  in kvmppc_book3s_hv_page_fault()
684 	if ((hnow_v & ~HPTE_V_HVLOCK) != hpte[0] || hnow_r != hpte[1] ||  in kvmppc_book3s_hv_page_fault()
685 	    rev->guest_rpte != hpte[2])  in kvmppc_book3s_hv_page_fault()
688 	hpte[0] = (hpte[0] & ~HPTE_V_ABSENT) | HPTE_V_VALID;  in kvmppc_book3s_hv_page_fault()
717 		r = hpte_old_to_new_r(hpte[0], r);  in kvmppc_book3s_hv_page_fault()
718 		hpte[0] = hpte_old_to_new_v(hpte[0]);  in kvmppc_book3s_hv_page_fault()
722 	__unlock_hpte(hptep, hpte[0]);  in kvmppc_book3s_hv_page_fault()
729 	trace_kvm_page_fault_exit(vcpu, hpte, ret);  in kvmppc_book3s_hv_page_fault()
1638 			unsigned long *hpte, struct revmap_entry *revp,  in record_hpte()  argument
1705 	hpte[0] = cpu_to_be64(v);  in record_hpte()
1706 	hpte[1] = cpu_to_be64(r);  in record_hpte()
1723 	unsigned long hpte[2];  in kvm_htab_read()  local
1763 		       record_hpte(flags, hptp, hpte, revp, 1, first_pass)) {  in kvm_htab_read()
1766 			if (__put_user(hpte[0], lbuf) ||  in kvm_htab_read()
1767 			    __put_user(hpte[1], lbuf + 1))  in kvm_htab_read()
1778 		       record_hpte(flags, hptp, hpte, revp, 0, first_pass)) {  in kvm_htab_read()