526 static bool index_to_params(u64 id, struct coproc_params *params)  in index_to_params()
572 						    u64 id)  in index_to_coproc_reg()
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()