__get_user_1
extern int __get_user_1(void *);
EXPORT_SYMBOL(__get_user_1);
extern int __get_user_1(void);