Searched refs:stderrname (Results 1 – 1 of 1) sorted by relevance
780 char *stdinname, *stdoutname, *stderrname; in console_init_r() local800 stderrname = env_get("stderr"); in console_init_r()805 errdev = search_device(DEV_FLAGS_OUTPUT, stderrname); in console_init_r()809 iomux_err += iomux_doenv(stderr, stderrname); in console_init_r()