1 files changed, 2 insertions, 0 deletions
diff --git a/src/dev/arm/gic.cc b/src/dev/arm/gic.cc
index b2dd2bbb7..13e27f34d 100644
--- a/src/dev/arm/gic.cc
+++ b/src/dev/arm/gic.cc
@@ -679,6 +679,8 @@ Gic::sendInt(uint32_t num)
 void
 Gic::sendPPInt(uint32_t num, uint32_t cpu)
 {
+    DPRINTF(Interrupt, "Received Interrupt number %d, cpuTarget %#x: \n",
+            num, cpu);
     cpuPpiPending[cpu] |= 1 << (num - SGI_MAX);
     updateIntState(intNumToWord(num));
 }