Searched refs:stdoutname (Results 1 – 1 of 1) sorted by relevance
1073 char *stdoutname = NULL; in stdio_print_current_devices() local1080 stdoutname = env_get("stdout"); in stdio_print_current_devices()1085 stdoutname = stdoutname ? : get_stdio(stdout); in stdio_print_current_devices()1093 printf("%s\n", stdoutname); in stdio_print_current_devices()1103 char *stdinname, *stdoutname, *stderrname; in console_init_r() local1125 stdoutname = env_get("stdout"); in console_init_r()1130 outputdev = console_search_dev(DEV_FLAGS_OUTPUT, stdoutname); in console_init_r()1134 iomux_err += iomux_doenv(stdout, stdoutname); in console_init_r()
Completed in 7 milliseconds