Searched refs:m_buffered_uiout (Results 1 – 2 of 2) sorted by relevance
920 m_buffered_uiout.emplace (group, stream); in buffered_streams()921 m_uiout->redirect (&(*m_buffered_uiout)); in buffered_streams()945 if (m_buffered_uiout.has_value ()) in remove_buffers()
656 std::optional<buffering_file> m_buffered_uiout; member