537 	s64 vs[2];  in kvm_mips_get_reg()  local
596 		vs[0] = get_fpr64(&fpu->fpr[idx], 0);  in kvm_mips_get_reg()
597 		vs[1] = get_fpr64(&fpu->fpr[idx], 1);  in kvm_mips_get_reg()
600 		vs[0] = get_fpr64(&fpu->fpr[idx], 1);  in kvm_mips_get_reg()
601 		vs[1] = get_fpr64(&fpu->fpr[idx], 0);  in kvm_mips_get_reg()
703 		return copy_to_user(uaddr, vs, 16) ? -EFAULT : 0;  in kvm_mips_get_reg()
715 	s64 vs[2];  in kvm_mips_set_reg()  local
733 		return copy_from_user(vs, uaddr, 16) ? -EFAULT : 0;  in kvm_mips_set_reg()
794 		set_fpr64(&fpu->fpr[idx], 0, vs[0]);  in kvm_mips_set_reg()
795 		set_fpr64(&fpu->fpr[idx], 1, vs[1]);  in kvm_mips_set_reg()
798 		set_fpr64(&fpu->fpr[idx], 1, vs[0]);  in kvm_mips_set_reg()
799 		set_fpr64(&fpu->fpr[idx], 0, vs[1]);  in kvm_mips_set_reg()