command           660 kern/startup/menu.c 	char *command;
command           664 kern/startup/menu.c 	for (command = strtok_r(line, ";", &context);
command           665 kern/startup/menu.c 	     command != NULL;
command           666 kern/startup/menu.c 	     command = strtok_r(NULL, ";", &context)) {
command           669 kern/startup/menu.c 			kprintf("OS/161 kernel: %s\n", command);
command           672 kern/startup/menu.c 		result = cmd_dispatch(command);
command            56 user/include/stdlib.h int system(const char *command);