debug_get_user_string 1240 arch/s390/kernel/debug.c 	str = debug_get_user_string(user_buf, user_len);
debug_get_user_string 1294 arch/s390/kernel/debug.c 	str = debug_get_user_string(user_buf, user_len);