Searched refs:stderrname (Results 1 – 1 of 1) sorted by relevance
787 char *stdinname, *stdoutname, *stderrname; in console_init_r() local807 stderrname = env_get("stderr"); in console_init_r()812 errdev = search_device(DEV_FLAGS_OUTPUT, stderrname); in console_init_r()816 iomux_err += iomux_doenv(stderr, stderrname); in console_init_r()