* Miguel J. Serrano
*/
-#include "base/misc.hh"
-#include "debug/Intel8254Timer.hh"
#include "dev/intel_8254_timer.hh"
+#include "base/logging.hh"
+#include "debug/Intel8254Timer.hh"
+
using namespace std;
Intel8254Timer::Intel8254Timer(EventManager *em, const string &name,
Intel8254Timer::Counter::latchCount()
{
// behave like a real latch
- if(!latch_on) {
+ if (!latch_on) {
latch_on = true;
read_byte = LSB;
latched_count = currentCount();
void
Intel8254Timer::Counter::setMode(int mode_val)
{
- if(mode_val != InitTc && mode_val != RateGen &&
+ if (mode_val != InitTc && mode_val != RateGen &&
mode_val != SquareWave)
panic("PIT mode %#x is not implemented: \n", mode_val);