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