40a41
> #include "arch/alpha/idle_event.hh"
42d42
< #include "kern/alpha/idle_event.hh"