From 9a7b1aecfd7d4b78ff8c85867e0131a4e8bf9de3 Mon Sep 17 00:00:00 2001
From: Anna Lyons <Anna.Lyons@nicta.com.au>
Date: Tue, 7 Jun 2016 09:02:48 +1000
Subject: [PATCH] Trivial: move printfs in handleReservedIRQ up.

This wraps the printfs in CONFIG_IRQ_REPORTING
and reduces redundancy.
---
 src/object/interrupt.c                   | 3 +++
 src/plat/allwinnerA20/machine/hardware.c | 1 -
 src/plat/am335x/machine/hardware.c       | 1 -
 src/plat/apq8064/machine/hardware.c      | 1 -
 src/plat/exynos4/machine/hardware.c      | 1 -
 src/plat/exynos5/machine/hardware.c      | 1 -
 src/plat/hikey/machine/hardware.c        | 1 -
 src/plat/imx31/machine/hardware.c        | 1 -
 src/plat/imx6/machine/hardware.c         | 1 -
 src/plat/imx7/machine/hardware.c         | 1 -
 src/plat/pc99/machine/hardware.c         | 1 -
 src/plat/tk1/machine/hardware.c          | 1 -
 src/plat/zynq7000/machine/hardware.c     | 1 -
 13 files changed, 3 insertions(+), 12 deletions(-)

diff --git a/src/object/interrupt.c b/src/object/interrupt.c
index 7dd615daa..d7e78c59b 100644
--- a/src/object/interrupt.c
+++ b/src/object/interrupt.c
@@ -214,6 +214,9 @@ handleInterrupt(irq_t irq)
         break;
 
     case IRQReserved:
+#ifdef CONFIG_IRQ_REPORTING
+        printf("Received reserved IRQ: %d", (int)irq);
+#endif
         handleReservedIRQ(irq);
         break;
 
diff --git a/src/plat/allwinnerA20/machine/hardware.c b/src/plat/allwinnerA20/machine/hardware.c
index 1f9a1c585..da86c9434 100755
--- a/src/plat/allwinnerA20/machine/hardware.c
+++ b/src/plat/allwinnerA20/machine/hardware.c
@@ -61,7 +61,6 @@ BOOT_CODE p_region_t get_dev_p_reg(word_t i)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 BOOT_CODE void
diff --git a/src/plat/am335x/machine/hardware.c b/src/plat/am335x/machine/hardware.c
index 0ed107b97..75563a466 100644
--- a/src/plat/am335x/machine/hardware.c
+++ b/src/plat/am335x/machine/hardware.c
@@ -222,7 +222,6 @@ maskInterrupt(bool_t disable, interrupt_t irq)
 /* Handle a platform-reserved IRQ. */
 void handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 void
diff --git a/src/plat/apq8064/machine/hardware.c b/src/plat/apq8064/machine/hardware.c
index 4ebae8e47..1ff6824f8 100644
--- a/src/plat/apq8064/machine/hardware.c
+++ b/src/plat/apq8064/machine/hardware.c
@@ -300,7 +300,6 @@ get_dev_p_reg(word_t i)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 
diff --git a/src/plat/exynos4/machine/hardware.c b/src/plat/exynos4/machine/hardware.c
index 26ad4c223..881316d0e 100644
--- a/src/plat/exynos4/machine/hardware.c
+++ b/src/plat/exynos4/machine/hardware.c
@@ -215,7 +215,6 @@ get_dev_p_reg(word_t i)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 
diff --git a/src/plat/exynos5/machine/hardware.c b/src/plat/exynos5/machine/hardware.c
index cc99b2417..e9af911ca 100644
--- a/src/plat/exynos5/machine/hardware.c
+++ b/src/plat/exynos5/machine/hardware.c
@@ -274,7 +274,6 @@ get_dev_p_reg(word_t i)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 
diff --git a/src/plat/hikey/machine/hardware.c b/src/plat/hikey/machine/hardware.c
index 22bd1c9a0..0d5bb6bed 100644
--- a/src/plat/hikey/machine/hardware.c
+++ b/src/plat/hikey/machine/hardware.c
@@ -60,7 +60,6 @@ BOOT_CODE p_region_t get_dev_p_reg(unsigned int i)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 BOOT_CODE void
diff --git a/src/plat/imx31/machine/hardware.c b/src/plat/imx31/machine/hardware.c
index 7163daf4b..0a07cc25e 100644
--- a/src/plat/imx31/machine/hardware.c
+++ b/src/plat/imx31/machine/hardware.c
@@ -179,7 +179,6 @@ maskInterrupt(bool_t disable, interrupt_t irq)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 void
diff --git a/src/plat/imx6/machine/hardware.c b/src/plat/imx6/machine/hardware.c
index 66bdfb7c3..3cdd25fc0 100644
--- a/src/plat/imx6/machine/hardware.c
+++ b/src/plat/imx6/machine/hardware.c
@@ -198,7 +198,6 @@ get_dev_p_reg(word_t i)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 
diff --git a/src/plat/imx7/machine/hardware.c b/src/plat/imx7/machine/hardware.c
index 2590db869..1e9d00456 100644
--- a/src/plat/imx7/machine/hardware.c
+++ b/src/plat/imx7/machine/hardware.c
@@ -107,7 +107,6 @@ get_dev_p_reg(word_t i)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 
diff --git a/src/plat/pc99/machine/hardware.c b/src/plat/pc99/machine/hardware.c
index ff9c7e0ec..89a164d14 100644
--- a/src/plat/pc99/machine/hardware.c
+++ b/src/plat/pc99/machine/hardware.c
@@ -42,7 +42,6 @@ void handleReservedIRQ(irq_t irq)
         vtd_handle_fault();
         return;
     }
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 /* Get the IRQ number currently working on. */
diff --git a/src/plat/tk1/machine/hardware.c b/src/plat/tk1/machine/hardware.c
index d4dc98a7c..36ae1186e 100644
--- a/src/plat/tk1/machine/hardware.c
+++ b/src/plat/tk1/machine/hardware.c
@@ -120,7 +120,6 @@ BOOT_CODE p_region_t get_dev_p_reg(word_t i)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 BOOT_CODE void
diff --git a/src/plat/zynq7000/machine/hardware.c b/src/plat/zynq7000/machine/hardware.c
index a35a47f28..17c6f8ac6 100644
--- a/src/plat/zynq7000/machine/hardware.c
+++ b/src/plat/zynq7000/machine/hardware.c
@@ -118,7 +118,6 @@ get_dev_p_reg(word_t i)
 void
 handleReservedIRQ(irq_t irq)
 {
-    printf("Received reserved IRQ: %d\n", (int)irq);
 }
 
 
-- 
GitLab