486 	unsigned long hpte[3], r;  in kvmppc_book3s_hv_page_fault()  local
535 	hpte[0] = be64_to_cpu(hptep[0]) & ~HPTE_V_HVLOCK;  in kvmppc_book3s_hv_page_fault()
536 	hpte[1] = be64_to_cpu(hptep[1]);  in kvmppc_book3s_hv_page_fault()
537 	hpte[2] = r = rev->guest_rpte;  in kvmppc_book3s_hv_page_fault()
538 	unlock_hpte(hptep, hpte[0]);  in kvmppc_book3s_hv_page_fault()
542 		hpte[0] = hpte_new_to_old_v(hpte[0], hpte[1]);  in kvmppc_book3s_hv_page_fault()
543 		hpte[1] = hpte_new_to_old_r(hpte[1]);  in kvmppc_book3s_hv_page_fault()
545 	if (hpte[0] != vcpu->arch.pgfault_hpte[0] ||  in kvmppc_book3s_hv_page_fault()
546 	    hpte[1] != vcpu->arch.pgfault_hpte[1])  in kvmppc_book3s_hv_page_fault()
550 	psize = kvmppc_actual_pgsz(hpte[0], r);  in kvmppc_book3s_hv_page_fault()
557 	trace_kvm_page_fault_enter(vcpu, hpte, memslot, ea, dsisr);  in kvmppc_book3s_hv_page_fault()
675 	if ((hnow_v & ~HPTE_V_HVLOCK) != hpte[0] || hnow_r != hpte[1] ||  in kvmppc_book3s_hv_page_fault()
676 	    rev->guest_rpte != hpte[2])  in kvmppc_book3s_hv_page_fault()
679 	hpte[0] = (hpte[0] & ~HPTE_V_ABSENT) | HPTE_V_VALID;  in kvmppc_book3s_hv_page_fault()
708 		r = hpte_old_to_new_r(hpte[0], r);  in kvmppc_book3s_hv_page_fault()
709 		hpte[0] = hpte_old_to_new_v(hpte[0]);  in kvmppc_book3s_hv_page_fault()
713 	__unlock_hpte(hptep, hpte[0]);  in kvmppc_book3s_hv_page_fault()
720 	trace_kvm_page_fault_exit(vcpu, hpte, ret);  in kvmppc_book3s_hv_page_fault()
1655 			unsigned long *hpte, struct revmap_entry *revp,  in record_hpte()  argument
1722 	hpte[0] = cpu_to_be64(v);  in record_hpte()
1723 	hpte[1] = cpu_to_be64(r);  in record_hpte()
1740 	unsigned long hpte[2];  in kvm_htab_read()  local
1780 		       record_hpte(flags, hptp, hpte, revp, 1, first_pass)) {  in kvm_htab_read()
1783 			if (__put_user(hpte[0], lbuf) ||  in kvm_htab_read()
1784 			    __put_user(hpte[1], lbuf + 1))  in kvm_htab_read()
1795 		       record_hpte(flags, hptp, hpte, revp, 0, first_pass)) {  in kvm_htab_read()