Searched refs:stdio_names (Results 1 – 4 of 4) sorted by relevance
30 char *stdio_names[MAX_FILES] = { "stdin", "stdout", "stderr" }; variable302 for (i = 0; i < (sizeof (stdio_names) / sizeof (char *)); ++i) { in stdio_init_tables()303 stdio_names[i] = (char *) (((ulong) stdio_names[i]) + in stdio_init_tables()
861 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()940 env_set(stdio_names[i], stdio_devices[i]->name); in console_init_r()
37 printf ("%s ", stdio_names[l]); in do_coninfo()
55 extern char *stdio_names[MAX_FILES];