71,75d70
< /// Output stream for simulator messages (e.g., cprintf()). Also used
< /// as default stream for tracing and DPRINTF() messages (unless
< /// overridden with trace:file option).
< extern std::ostream *outputStream;
< void setOutputFile(const std::string &file);