From 4fb42436f7d7c06c429bb413e1added1ea9f44ed Mon Sep 17 00:00:00 2001
From: Kent McLeod <Kent.Mcleod@data61.csiro.au>
Date: Tue, 12 Nov 2019 08:53:27 +1100
Subject: [PATCH] trivial: Remove unused ipiBroadcast function

---
 src/arch/arm/machine/gic_v2.c | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/arch/arm/machine/gic_v2.c b/src/arch/arm/machine/gic_v2.c
index 33fe10c64..0f4f313b5 100644
--- a/src/arch/arm/machine/gic_v2.c
+++ b/src/arch/arm/machine/gic_v2.c
@@ -192,11 +192,6 @@ BOOT_CODE void cpu_initLocalIRQController(void)
 * 3-0:   SGIINTID
 * software generated interrupt id, from 0 to 15...
 */
-void ipiBroadcast(irq_t irq, bool_t includeSelfCPU)
-{
-    gic_dist->sgi_control = (!includeSelfCPU << GICD_SGIR_TARGETLISTFILTER_SHIFT) | (irq << GICD_SGIR_SGIINTID_SHIFT);
-}
-
 void ipi_send_target(irq_t irq, word_t cpuTargetList)
 {
     if (config_set(CONFIG_PLAT_TX2)) {