dasd_get_user_string
buffer = dasd_get_user_string(user_buf, user_len);
char *dasd_get_user_string(const char __user *, size_t);