Searched refs:stdio_names (Results 1 – 4 of 4) sorted by relevance
29 char *stdio_names[MAX_FILES] = { "stdin", "stdout", "stderr" }; variable294 for (i = 0; i < (sizeof (stdio_names) / sizeof (char *)); ++i) { in stdio_init_tables()295 stdio_names[i] = (char *) (((ulong) stdio_names[i]) + in stdio_init_tables()
1021 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()1088 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()
38 printf ("%s ", stdio_names[l]); in do_coninfo()
57 extern char *stdio_names[MAX_FILES];
Completed in 11 milliseconds