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 8c85f0f28eee89a731d082e5c3e87ae6d4d4ba98)
@@ -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>