672 static int reg_from_user(void *val, const void __user *uaddr, u64 id)  in reg_from_user()
683 static int reg_to_user(void __user *uaddr, const void *val, u64 id)  in reg_to_user()
690 static int get_invariant_cp15(u64 id, void __user *uaddr)  in get_invariant_cp15()
714 static int set_invariant_cp15(u64 id, void __user *uaddr)  in set_invariant_cp15()
790 static int demux_c15_get(u64 id, void __user *uaddr)  in demux_c15_get()
815 static int demux_c15_set(u64 id, void __user *uaddr)  in demux_c15_set()
891 static int vfp_get_reg(const struct kvm_vcpu *vcpu, u64 id, void __user *uaddr)  in vfp_get_reg()
935 static int vfp_set_reg(struct kvm_vcpu *vcpu, u64 id, const void __user *uaddr)  in vfp_set_reg()
999 static int vfp_get_reg(const struct kvm_vcpu *vcpu, u64 id, void __user *uaddr)  in vfp_get_reg()
1004 static int vfp_set_reg(struct kvm_vcpu *vcpu, u64 id, const void __user *uaddr)  in vfp_set_reg()
1013 	void __user *uaddr = (void __user *)(long)reg->addr;  in kvm_arm_coproc_get_reg()  local
1042 	void __user *uaddr = (void __user *)(long)reg->addr;  in kvm_arm_coproc_set_reg()  local