42c42
< Printk(AlphaISA::AlphaArguments args)
---
> Printk(TheISA::Arguments args)