formatting fixes

--HG--
extra : convert_revision : 8b9bfed29b66e8bce11448f175273f5ebb6876b2

dev/tsunami.hh

@@ -32,8 +32,8 @@
  * retains pointers to all its children so the children can communicate.
  */
 
-#ifndef __TSUNAMI_HH__
-#define __TSUNAMI_HH__
+#ifndef __DEV_TSUNAMI_HH__
+#define __DEV_TSUNAMI_HH__
 
 #include "dev/platform.hh"
 
@@ -56,7 +56,6 @@ class System;
 class Tsunami : public Platform
 {
   public:
-
     /** Max number of CPUs in a Tsunami */
     static const int Max_CPUs = 64;
 
@@ -134,4 +133,4 @@ class Tsunami : public Platform
     virtual void unserialize(Checkpoint *cp, const std::string &section);
 };
 
-#endif // __TSUNAMI_HH__
+#endif // __DEV_TSUNAMI_HH__

dev/tsunami_io.cc

@@ -67,7 +67,6 @@ TsunamiIO::RTCEvent::process()
     schedule(curTick + ticksPerSecond/RTC_RATE);
     //Actually interrupt the processor here
     tsunami->cchip->postRTC();
-
 }
 
 const char *

dev/tsunami_io.hh

@@ -30,8 +30,8 @@
  * Tsunami Fake I/O Space mapping including RTC/timer interrupts
  */
 
-#ifndef __TSUNAMI_DMA_HH__
-#define __TSUNAMI_DMA_HH__
+#ifndef __DEV_TSUNAMI_IO_HH__
+#define __DEV_TSUNAMI_IO_HH__
 
 #include "dev/io_device.hh"
 #include "base/range.hh"
@@ -56,9 +56,11 @@ class TsunamiIO : public PioDevice
 
     struct tm tm;
 
-    /** In Tsunami RTC only has two i/o ports one for data and one for address,
-     * so you write the address and then read/write the data. This store the
-     * address you are going to be reading from on a read.
+    /**
+     * In Tsunami RTC only has two i/o ports one for data and one for
+     * address, so you write the address and then read/write the
+     * data. This store the address you are going to be reading from
+     * on a read.
      */
     uint8_t RTCAddress;
 
@@ -141,7 +143,7 @@ class TsunamiIO : public PioDevice
 
         /**
          * Interrupth the processor and reschedule the event.
-           * */
+         */
         virtual void process();
 
         /**
@@ -156,7 +158,6 @@ class TsunamiIO : public PioDevice
          */
         virtual void serialize(std::ostream &os);
 
-
         /**
          * Reconstruct the state of this object from a checkpoint.
          * @param cp The checkpoint use.
@@ -219,7 +220,6 @@ class TsunamiIO : public PioDevice
      */
     uint32_t timerData;
 
-
   public:
     /**
      * Return the freqency of the RTC
@@ -227,7 +227,6 @@ class TsunamiIO : public PioDevice
      */
     Tick  frequency() const { return RTC_RATE; }
 
-
     /**
      * Initialize all the data for devices supported by Tsunami I/O.
      * @param name name of this device.
@@ -279,7 +278,6 @@ class TsunamiIO : public PioDevice
      */
     virtual void serialize(std::ostream &os);
 
-
     /**
      * Reconstruct the state of this object from a checkpoint.
      * @param cp The checkpoint use.
@@ -287,8 +285,7 @@ class TsunamiIO : public PioDevice
      */
     virtual void unserialize(Checkpoint *cp, const std::string &section);
 
-
     Tick cacheAccess(MemReqPtr &req);
 };
 
-#endif // __TSUNAMI_IO_HH__
+#endif // __DEV_TSUNAMI_IO_HH__