Index: kernel/arch/sparc64/src/smp/sun4u/ipi.c
===================================================================
--- kernel/arch/sparc64/src/smp/sun4u/ipi.c	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
+++ kernel/arch/sparc64/src/smp/sun4u/ipi.c	(revision ffa73c60dc2eba8ce632c52a0be8bbf4ecd562d9)
@@ -34,4 +34,5 @@
 
 #include <smp/ipi.h>
+#include <arch/barrier.h>
 #include <arch/smp/sun4u/ipi.h>
 #include <assert.h>