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