Searched refs:default_stdio_dev (Results 1 – 1 of 1) sorted by relevance
316 const static char *default_stdio_dev = "/dev/console/"; in do_core_init() local318 _GLOBAL_REENT->_stdin = fopen(default_stdio_dev, "r"); in do_core_init()319 _GLOBAL_REENT->_stdout = fopen(default_stdio_dev, "w"); in do_core_init()320 _GLOBAL_REENT->_stderr = fopen(default_stdio_dev, "w"); in do_core_init()
