Index: kernel/generic/src/smp/smp_call.c
===================================================================
--- kernel/generic/src/smp/smp_call.c	(revision 8ebe212533840cb545a4f768a0689f6940125144)
+++ kernel/generic/src/smp/smp_call.c	(revision b43f393301546fdd21903d4877b9718f04707c5e)
@@ -37,5 +37,5 @@
 
 #include <smp/smp_call.h>
-#include <arch/barrier.h>
+#include <barrier.h>
 #include <arch/asm.h>  /* interrupt_disable */
 #include <arch.h>