46,47d45
< #include "dev/rtcreg.h"
< #include "dev/alpha/tsunami_cchip.hh"
48a47
> #include "dev/alpha/tsunami_cchip.hh"
50a50
> #include "dev/rtcreg.h"