Searched refs:stdio_names (Results 1 – 8 of 8) sorted by relevance
31 char *stdio_names[MAX_FILES] = { "stdin", "stdout", "stderr" }; variable315 for (i = 0; i < (sizeof (stdio_names) / sizeof (char *)); ++i) { in stdio_init_tables()316 stdio_names[i] = (char *) (((ulong) stdio_names[i]) + in stdio_init_tables()
908 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()987 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()
38 printf ("%s ", stdio_names[l]); in do_coninfo()
76 extern char *stdio_names[MAX_FILES];