diff --git a/src/object/interrupt.c b/src/object/interrupt.c
index 7dd615daa02252d92082d9873e142f8c01f30222..d7e78c59b5a8e5395cc5f125688240e525ae4ec9 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 1f9a1c5856aac75c19808b71f9233c6d200091c6..da86c94346f8612240591d2459be2115ee500b8e 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 0ed107b9761cdc83dae506f905da9b0bc3bf0d2f..75563a4660b959cdd477091a3cf1f0a59717d9be 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 4ebae8e47c91363ed3fdd4e846cde6af00600f42..1ff6824f8d4e5a092758b71551cee91530f5a88c 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 26ad4c223498103f681ad604f74f400a4ff15c4e..881316d0e351bb2521269da21451c49977c5b945 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 cc99b24175d60b8c83e5b251cff165e37553c22c..e9af911ca0bd2eb517a6abef73290c0790d650bc 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 22bd1c9a078145f7446424bde81a568e488f5660..0d5bb6bed11de4050917097dab4af4480311a16a 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 7163daf4b31321985cbf6a975031fe6b5b216c99..0a07cc25e03c290de1170563952dda044f4bc00d 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 66bdfb7c3ad67476a61dc8aa5d0d152fdea52168..3cdd25fc01c006409cc905879986a27032b20f9c 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 2590db869c2d7a5484b598c61665343fc7dba376..1e9d00456a01c477a2c15c7953ee08b11da110a5 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 ff9c7e0ec3df1e25ae8467f768f69e4249dbe6be..89a164d141af7462dc9571788b4eca49d10c71f1 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 d4dc98a7cbbedb74c8769a0dbe4825793cdb6c18..36ae1186edea0030404e229b9ef19f7e7604441b 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 a35a47f2852a5b46e5c04dcfe7f9eb9ebdb2fa44..17c6f8ac6a58397c6f8412f3cd07b0a291ea85cd 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);
 }