Searched refs:stdio_names (Results 1 – 4 of 4) 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()
926 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()1005 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];