Searched refs:cmdline_buf (Results 1 – 1 of 1) sorted by relevance
41 static char cmdline_buf[16384] = "(unknown)"; variable75 printf("Command line: %s\n", strtok(cmdline_buf, "\n")); in dumpstate()355 fgets(cmdline_buf, sizeof(cmdline_buf), cmdline); in main()