35d34
< #include "base/trace.hh"
36a36,37
> #include "base/trace.hh"
> #include "kern/linux/printk.hh"
42c43
< Printk(TheISA::Arguments args)
---
> Printk(stringstream &out, TheISA::Arguments args)
44d44
< std::ostream &out = Trace::output();
47,50d46
< ios::fmtflags saved_flags = out.flags();
< char old_fill = out.fill();
< int old_precision = out.precision();
<
261,263d256
< out.flags(saved_flags);
< out.fill(old_fill);
< out.precision(old_precision);