diff --git a/include/drivers/irq/am335x.h b/include/drivers/irq/am335x.h
index 9354d1672..cf85797d1 100644
--- a/include/drivers/irq/am335x.h
+++ b/include/drivers/irq/am335x.h
@@ -11,6 +11,9 @@
 #include <machine/interrupt.h>
 #include <armv/machine.h>
 
+/* No SGIs on this platform. */
+#define NUM_SGIS 0
+
 enum irqNumbers {
     irqInvalid = 255
 };
@@ -118,3 +121,8 @@ static inline void handleSpuriousIRQ(void)
     dsb();
 }
 
+static inline void plat_sendSGI(word_t irq, word_t target)
+{
+    /* Unreachable; not supported on this platform. */
+    halt();
+}
diff --git a/include/drivers/irq/bcm2836-armctrl-ic.h b/include/drivers/irq/bcm2836-armctrl-ic.h
index 2d87043e6..6957f5095 100644
--- a/include/drivers/irq/bcm2836-armctrl-ic.h
+++ b/include/drivers/irq/bcm2836-armctrl-ic.h
@@ -10,6 +10,9 @@
 #include <machine/io.h>
 #include <machine/interrupt.h>
 
+/* SGI not supported on this platform. */
+#define NUM_SGIS 0
+
 #define BASIC_IRQ_OFFSET                32
 #define NORMAL_IRQ_OFFSET               (BASIC_IRQ_OFFSET + 32)
 
@@ -143,4 +146,8 @@ static inline void handleSpuriousIRQ(void)
     /* Nothing to do here */
 }
 
-
+static inline void plat_sendSGI(word_t irq, word_t target)
+{
+    /* Unreachable; not supported on this platform. */
+    halt();
+}
diff --git a/include/drivers/irq/omap3.h b/include/drivers/irq/omap3.h
index f95d965f2..64083e947 100644
--- a/include/drivers/irq/omap3.h
+++ b/include/drivers/irq/omap3.h
@@ -15,6 +15,9 @@
 #include <armv/machine.h>
 #include <machine/interrupt.h>
 
+/* No SGIs on this platform. */
+#define NUM_SGIS 0
+
 #define INTCPS_SIR_IRQ_SPURIOUSIRQFLAG 0xFF0000
 
 enum irqNumbers {
@@ -104,3 +107,8 @@ static inline void handleSpuriousIRQ(void)
     dsb();
 }
 
+static inline void plat_sendSGI(word_t irq, word_t target)
+{
+    /* Unreachable; not supported on this platform. */
+    halt();
+}