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 5d618d8f43ac89327c401d395ec9b4fdf6d9c0a9)
@@ -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
-}
 
 /** @}