43 	__be64 pteg[2 * 8];  in kvmppc_h_pr_enter()  local
53 	copy_from_user(pteg, (void __user *)pteg_addr, sizeof(pteg));  in kvmppc_h_pr_enter()
54 	hpte = pteg;  in kvmppc_h_pr_enter()
90 	unsigned long v = 0, pteg, rb;  in kvmppc_h_pr_remove()  local
94 	pteg = get_pteg_addr(vcpu, pte_index);  in kvmppc_h_pr_remove()
96 	copy_from_user(pte, (void __user *)pteg, sizeof(pte));  in kvmppc_h_pr_remove()
106 	copy_to_user((void __user *)pteg, &v, sizeof(v));  in kvmppc_h_pr_remove()
150 		unsigned long pteg, rb, flags;  in kvmppc_h_pr_bulk_remove()  local
173 		pteg = get_pteg_addr(vcpu, tsh & H_BULK_REMOVE_PTEX);  in kvmppc_h_pr_bulk_remove()
174 		copy_from_user(pte, (void __user *)pteg, sizeof(pte));  in kvmppc_h_pr_bulk_remove()
187 			copy_to_user((void __user *)pteg, &v, sizeof(v));  in kvmppc_h_pr_bulk_remove()
208 	unsigned long rb, pteg, r, v;  in kvmppc_h_pr_protect()  local
212 	pteg = get_pteg_addr(vcpu, pte_index);  in kvmppc_h_pr_protect()
214 	copy_from_user(pte, (void __user *)pteg, sizeof(pte));  in kvmppc_h_pr_protect()
237 	copy_to_user((void __user *)pteg, pte, sizeof(pte));  in kvmppc_h_pr_protect()