diff --git a/include/drivers/irq/am335x.h b/include/drivers/irq/am335x.h
index 57fb6507e..c3e37961c 100644
--- a/include/drivers/irq/am335x.h
+++ b/include/drivers/irq/am335x.h
@@ -128,7 +128,7 @@ void setIRQTrigger(irq_t irq, bool_t trigger)
 static inline void plat_sendSGI(word_t irq, word_t target)
 {
     /* Unreachable; not supported on this platform. */
-    halt();
+    UNREACHABLE();
 }
 
 static inline bool_t plat_SGITargetValid(word_t target)
diff --git a/include/drivers/irq/bcm2836-armctrl-ic.h b/include/drivers/irq/bcm2836-armctrl-ic.h
index 17e06970a..f0855947d 100644
--- a/include/drivers/irq/bcm2836-armctrl-ic.h
+++ b/include/drivers/irq/bcm2836-armctrl-ic.h
@@ -153,7 +153,7 @@ void setIRQTrigger(irq_t irq, bool_t trigger)
 static inline void plat_sendSGI(word_t irq, word_t target)
 {
     /* Unreachable; not supported on this platform. */
-    halt();
+    UNREACHABLE();
 }
 
 static inline bool_t plat_SGITargetValid(word_t target)
diff --git a/include/drivers/irq/omap3.h b/include/drivers/irq/omap3.h
index d897a8777..cd42b759f 100644
--- a/include/drivers/irq/omap3.h
+++ b/include/drivers/irq/omap3.h
@@ -114,7 +114,7 @@ void setIRQTrigger(irq_t irq, bool_t trigger)
 static inline void plat_sendSGI(word_t irq, word_t target)
 {
     /* Unreachable; not supported on this platform. */
-    halt();
+    UNREACHABLE();
 }
 
 static inline bool_t plat_SGITargetValid(word_t target)