Index: kernel/arch/mips32/src/smp/dorder.c
===================================================================
--- kernel/arch/mips32/src/smp/dorder.c	(revision 96e0748d7558e9aeb4c97ff5d520f773c406eeac)
+++ kernel/arch/mips32/src/smp/dorder.c	(revision dfecf88e2d25a7ebf059fa601efa4b1ad2fb97ab)
@@ -33,5 +33,7 @@
  */
 
-#include <arch/smp/dorder.h>
+#include <smp/ipi.h>
+
+#ifdef CONFIG_SMP
 
 #define MSIM_DORDER_ADDRESS  0xB0000004
@@ -39,8 +41,8 @@
 void ipi_broadcast_arch(int ipi)
 {
-#ifdef CONFIG_SMP
 	*((volatile unsigned int *) MSIM_DORDER_ADDRESS) = 0x7FFFFFFF;
+}
+
 #endif
-}
 
 /** @}