static inline unsigned long
copy_from_user(void $user * $kernel to, const void   * $user from, unsigned long n);
static inline unsigned long
__copy_from_user(void $user * $kernel to, const void   * $user from, unsigned long n);
unsigned long __copy_from_user_ll(void $user * $kernel to, const void   * $user from, unsigned long n);


unsigned long __copy_to_user_ll(void   * $user to, const void * $kernel from, unsigned long n);
static inline unsigned long
__copy_to_user(void * $user to, const void * $kernel from, unsigned long n);
static inline unsigned long
copy_to_user(void  * $user to, const void * $kernel from, unsigned long n);





static unsigned long
__generic_copy_from_user_nocheck(void $user * $kernel to, const void *$user from,
				 unsigned long n);
static unsigned long
__generic_copy_to_user_nocheck(void *$user to, const void *$kernel from,
			       unsigned long n);
unsigned long  __generic_copy_to_user(void *$user to,
				      const void *$kernel from,
				      unsigned long);
unsigned long  __generic_copy_from_user(void $user * $kernel to,
					const void *$user from,
					unsigned long);
static unsigned long
__constant_copy_to_user(void *$user to, const void *$kernel from,
			unsigned long n);
static unsigned long
__constant_copy_from_user(void $user * $kernel to, const void *$user from,
			  unsigned long n);
static unsigned long
__constant_copy_to_user_nocheck(void *$user to, const void *$kernel from,
				unsigned long n);
static unsigned long
__constant_copy_from_user_nocheck(void $user * $kernel to, const void *$user from,
				  unsigned long n);




long strncpy_from_user(char $user * $kernel dst, const char *$user src,
		       long count);
long __strncpy_from_user(char $user * $kernel dst, const char *$user src,
			 long count);
long strnlen_user(const char   * $user str, long n);



unsigned long clear_user(void *$user mem, unsigned long len);
unsigned long __clear_user(void *$user mem, unsigned long len);


void * $kernel kmalloc(int, int);
void * $kernel kmalloc_R93d4cfe6(int, int);

void kfree(const $$a $_1 * $kernel);
void kfree_R037a0cba(const $$a $_1 * $kernel);

void * $kernel __get_free_pages(unsigned int gfp_mask, unsigned int order);

$$a _op_deref ($$a * $_1 $kernel x) $_1_2;


static inline long $_1 PTR_ERR(const void * $_2 ptr);
