Searched refs:__get_output_system__ (Results 1 – 3 of 3) sorted by relevance
130 output_system& output_sys = __get_output_system__ ("pager_buf::sync"); in sync()167 output_system& output_sys = __get_output_system__ ("__stdout__"); in sync()262 output_system& output_sys = __get_output_system__ ("flush_stdout"); in flush_stdout()483 output_system& output_sys = __get_output_system__ ("__stdout__"); in __stdout__()490 output_system& output_sys = __get_output_system__ ("__diary__"); in __diary__()
75 extern output_system& __get_output_system__ (const std::string& who);
101 output_system& __get_output_system__ (const std::string& who) in __get_output_system__() function