__put_user_1
extern int __put_user_1(void *, unsigned int);
EXPORT_SYMBOL(__put_user_1);
extern void __put_user_1(void);