41a42
> #include "kern/alpha/idle_event.hh"