From d2a0a2ec2202eb8fa04ddd3e359c1c9dc7f04cb1 Mon Sep 17 00:00:00 2001
From: Ali Saidi <Ali.Saidi@ARM.com>
Date: Fri, 19 Aug 2011 15:08:08 -0500
Subject: ARM: Add support for Versatile Express boards

---
 src/dev/arm/timer_sp804.cc | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'src/dev/arm/timer_sp804.cc')

diff --git a/src/dev/arm/timer_sp804.cc b/src/dev/arm/timer_sp804.cc
index 5ecfebc71..323597a98 100644
--- a/src/dev/arm/timer_sp804.cc
+++ b/src/dev/arm/timer_sp804.cc
@@ -85,8 +85,6 @@ Sp804::read(PacketPtr pkt)
 void
 Sp804::Timer::read(PacketPtr pkt, Addr daddr)
 {
-    DPRINTF(Timer, "Reading from Timer at offset: %#x\n", daddr);
-
     switch(daddr) {
       case LoadReg:
         pkt->set<uint32_t>(loadValue);
@@ -116,6 +114,7 @@ Sp804::Timer::read(PacketPtr pkt, Addr daddr)
         panic("Tried to read SP804 timer at offset %#x\n", daddr);
         break;
     }
+    DPRINTF(Timer, "Reading %#x from Timer at offset: %#x\n", pkt->get<uint32_t>(), daddr);
 }
 
 Tick
@@ -140,7 +139,7 @@ Sp804::write(PacketPtr pkt)
 void
 Sp804::Timer::write(PacketPtr pkt, Addr daddr)
 {
-    DPRINTF(Timer, "Writing to Timer at offset: %#x\n", daddr);
+    DPRINTF(Timer, "Writing %#x to Timer at offset: %#x\n", pkt->get<uint32_t>(), daddr);
     switch (daddr) {
       case LoadReg:
         loadValue = pkt->get<uint32_t>();
-- 
cgit v1.2.3