440 	unsigned long hpte[3], r;  in kvmppc_book3s_hv_page_fault()  local
469 	hpte[0] = be64_to_cpu(hptep[0]) & ~HPTE_V_HVLOCK;  in kvmppc_book3s_hv_page_fault()
470 	hpte[1] = be64_to_cpu(hptep[1]);  in kvmppc_book3s_hv_page_fault()
471 	hpte[2] = r = rev->guest_rpte;  in kvmppc_book3s_hv_page_fault()
472 	unlock_hpte(hptep, hpte[0]);  in kvmppc_book3s_hv_page_fault()
475 	if (hpte[0] != vcpu->arch.pgfault_hpte[0] ||  in kvmppc_book3s_hv_page_fault()
476 	    hpte[1] != vcpu->arch.pgfault_hpte[1])  in kvmppc_book3s_hv_page_fault()
480 	psize = hpte_page_size(hpte[0], r);  in kvmppc_book3s_hv_page_fault()
487 	trace_kvm_page_fault_enter(vcpu, hpte, memslot, ea, dsisr);  in kvmppc_book3s_hv_page_fault()
586 	if ((be64_to_cpu(hptep[0]) & ~HPTE_V_HVLOCK) != hpte[0] ||  in kvmppc_book3s_hv_page_fault()
587 		be64_to_cpu(hptep[1]) != hpte[1] ||  in kvmppc_book3s_hv_page_fault()
588 		rev->guest_rpte != hpte[2])  in kvmppc_book3s_hv_page_fault()
591 	hpte[0] = (hpte[0] & ~HPTE_V_ABSENT) | HPTE_V_VALID;  in kvmppc_book3s_hv_page_fault()
621 	__unlock_hpte(hptep, hpte[0]);  in kvmppc_book3s_hv_page_fault()
628 	trace_kvm_page_fault_exit(vcpu, hpte, ret);  in kvmppc_book3s_hv_page_fault()
1166 			unsigned long *hpte, struct revmap_entry *revp,  in record_hpte()  argument
1228 	hpte[0] = cpu_to_be64(v);  in record_hpte()
1229 	hpte[1] = cpu_to_be64(r);  in record_hpte()
1246 	unsigned long hpte[2];  in kvm_htab_read()  local
1284 		       record_hpte(flags, hptp, hpte, revp, 1, first_pass)) {  in kvm_htab_read()
1287 			if (__put_user(hpte[0], lbuf) ||  in kvm_htab_read()
1288 			    __put_user(hpte[1], lbuf + 1))  in kvm_htab_read()
1299 		       record_hpte(flags, hptp, hpte, revp, 0, first_pass)) {  in kvm_htab_read()