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