1 /* SPDX-License-Identifier: GPL-2.0 */
2 
3 #include <linux/uaccess.h>
4 
__get_inst(u32 * i,u32 * p,bool user)5 static inline int __get_inst(u32 *i, u32 *p, bool user)
6 {
7 	return user ? get_user(*i, (u32 __user *)p) : get_kernel_nofault(*i, p);
8 }
9 
__get_addr(unsigned long * a,unsigned long * p,bool user)10 static inline int __get_addr(unsigned long *a, unsigned long *p, bool user)
11 {
12 	return user ? get_user(*a, (unsigned long __user *)p) : get_kernel_nofault(*a, p);
13 }
14