Searched refs:cmdline_buf (Results 1 – 1 of 1) sorted by relevance
146 static char cmdline_buf[16384] = "(unknown)"; variable803 printf("Command line: %s\n", strtok(cmdline_buf, "\n")); in PrintHeader()2871 fgets(cmdline_buf, sizeof(cmdline_buf), cmdline); in RunInternal()