#ifndef __DEV_8254_HH__
#define __DEV_8254_HH__
-#include <string>
#include <iostream>
+#include <string>
#include "base/bitunion.hh"
-#include "sim/eventq.hh"
#include "base/types.hh"
+#include "base/trace.hh"
+#include "debug/Intel8254Timer.hh"
+#include "sim/eventq_impl.hh"
#include "sim/serialize.hh"
/** Programmable Interval Timer (Intel 8254) */