Searched defs:stdoutname (Results 1 – 1 of 1) sorted by relevance
1073 char *stdoutname = NULL; in stdio_print_current_devices() local1103 char *stdinname, *stdoutname, *stderrname; in console_init_r() local
Completed in 6 milliseconds