42,43d41
< #include "arch/vtophys.hh"
< #include "arch/mips/idle_event.hh"
45a44
> #include "arch/mips/idle_event.hh"
46a46
> #include "arch/vtophys.hh"
48d47
< #include "cpu/thread_context.hh"
49a49
> #include "cpu/thread_context.hh"
51d50
< #include "kern/linux/printk.hh"
52a52
> #include "kern/linux/printk.hh"