44a45
> #include "arch/alpha/idle_event.hh"
52d52
< #include "kern/alpha/idle_event.hh"