Searched refs:stderrname (Results 1 – 1 of 1) sorted by relevance
852 char *stdinname, *stdoutname, *stderrname; in console_init_r() local872 stderrname = env_get("stderr"); in console_init_r()877 errdev = search_device(DEV_FLAGS_OUTPUT, stderrname); in console_init_r()881 iomux_err += iomux_doenv(stderr, stderrname); in console_init_r()