35c35
< class AlphaISA::AlphaArguments;
---
> #include "arch/isa_specific.hh"
37c37
< void Printk(AlphaISA::AlphaArguments args);
---
> class TheISA::Arguments;
38a39,40
> void Printk(TheISA::Arguments args);
>