781 static int reg_from_user(void *val, const void __user *uaddr, u64 id)  in reg_from_user()  argument
783 	if (copy_from_user(val, uaddr, KVM_REG_SIZE(id)) != 0)  in reg_from_user()
792 static int reg_to_user(void __user *uaddr, const void *val, u64 id)  in reg_to_user()  argument
794 	if (copy_to_user(uaddr, val, KVM_REG_SIZE(id)) != 0)  in reg_to_user()
799 static int get_invariant_cp15(u64 id, void __user *uaddr)  in get_invariant_cp15()  argument
816 		ret = reg_to_user(uaddr, &val, id);  in get_invariant_cp15()
818 		ret = reg_to_user(uaddr, &r->val, id);  in get_invariant_cp15()
823 static int set_invariant_cp15(u64 id, void __user *uaddr)  in set_invariant_cp15()  argument
840 		err = reg_from_user(&val32, uaddr, id);  in set_invariant_cp15()
844 		err = reg_from_user(&val, uaddr, id);  in set_invariant_cp15()
899 static int demux_c15_get(u64 id, void __user *uaddr)  in demux_c15_get()  argument
902 	u32 __user *uval = uaddr;  in demux_c15_get()
924 static int demux_c15_set(u64 id, void __user *uaddr)  in demux_c15_set()  argument
927 	u32 __user *uval = uaddr;  in demux_c15_set()
1000 static int vfp_get_reg(const struct kvm_vcpu *vcpu, u64 id, void __user *uaddr)  in vfp_get_reg()  argument
1013 		return reg_to_user(uaddr, &vcpu->arch.ctxt.vfp.fpregs[vfpid],  in vfp_get_reg()
1023 		return reg_to_user(uaddr, &vcpu->arch.ctxt.vfp.fpexc, id);  in vfp_get_reg()
1025 		return reg_to_user(uaddr, &vcpu->arch.ctxt.vfp.fpscr, id);  in vfp_get_reg()
1027 		return reg_to_user(uaddr, &vcpu->arch.ctxt.vfp.fpinst, id);  in vfp_get_reg()
1029 		return reg_to_user(uaddr, &vcpu->arch.ctxt.vfp.fpinst2, id);  in vfp_get_reg()
1032 		return reg_to_user(uaddr, &val, id);  in vfp_get_reg()
1035 		return reg_to_user(uaddr, &val, id);  in vfp_get_reg()
1038 		return reg_to_user(uaddr, &val, id);  in vfp_get_reg()
1044 static int vfp_set_reg(struct kvm_vcpu *vcpu, u64 id, const void __user *uaddr)  in vfp_set_reg()  argument
1058 				     uaddr, id);  in vfp_set_reg()
1067 		return reg_from_user(&vcpu->arch.ctxt.vfp.fpexc, uaddr, id);  in vfp_set_reg()
1069 		return reg_from_user(&vcpu->arch.ctxt.vfp.fpscr, uaddr, id);  in vfp_set_reg()
1071 		return reg_from_user(&vcpu->arch.ctxt.vfp.fpinst, uaddr, id);  in vfp_set_reg()
1073 		return reg_from_user(&vcpu->arch.ctxt.vfp.fpinst2, uaddr, id);  in vfp_set_reg()
1076 		if (reg_from_user(&val, uaddr, id))  in vfp_set_reg()
1082 		if (reg_from_user(&val, uaddr, id))  in vfp_set_reg()
1088 		if (reg_from_user(&val, uaddr, id))  in vfp_set_reg()
1108 static int vfp_get_reg(const struct kvm_vcpu *vcpu, u64 id, void __user *uaddr)  in vfp_get_reg()  argument
1113 static int vfp_set_reg(struct kvm_vcpu *vcpu, u64 id, const void __user *uaddr)  in vfp_set_reg()  argument
1122 	void __user *uaddr = (void __user *)(long)reg->addr;  in kvm_arm_coproc_get_reg()  local
1126 		return demux_c15_get(reg->id, uaddr);  in kvm_arm_coproc_get_reg()
1129 		return vfp_get_reg(vcpu, reg->id, uaddr);  in kvm_arm_coproc_get_reg()
1133 		return get_invariant_cp15(reg->id, uaddr);  in kvm_arm_coproc_get_reg()
1140 		ret = reg_to_user(uaddr, &val, reg->id);  in kvm_arm_coproc_get_reg()
1142 		ret = reg_to_user(uaddr, &vcpu_cp15(vcpu, r->reg), reg->id);  in kvm_arm_coproc_get_reg()
1151 	void __user *uaddr = (void __user *)(long)reg->addr;  in kvm_arm_coproc_set_reg()  local
1155 		return demux_c15_set(reg->id, uaddr);  in kvm_arm_coproc_set_reg()
1158 		return vfp_set_reg(vcpu, reg->id, uaddr);  in kvm_arm_coproc_set_reg()
1162 		return set_invariant_cp15(reg->id, uaddr);  in kvm_arm_coproc_set_reg()
1168 		ret = reg_from_user(&val, uaddr, reg->id);  in kvm_arm_coproc_set_reg()
1172 		ret = reg_from_user(&vcpu_cp15(vcpu, r->reg), uaddr, reg->id);  in kvm_arm_coproc_set_reg()