Searched refs:tok (Results 1 – 1 of 1) sorted by relevance
871 char *tok = strtok(input_buffer, WHITESPACE); in panic_shell_start() local873 if (tok == NULL) { in panic_shell_start()876 args[argc].str = tok; in panic_shell_start()877 tok = strtok(NULL, WHITESPACE); in panic_shell_start()
Completed in 5 milliseconds