Index: kernel/arch/sparc64/src/mm/sun4v/tsb.c
===================================================================
--- kernel/arch/sparc64/src/mm/sun4v/tsb.c	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/sparc64/src/mm/sun4v/tsb.c	(revision 0abc2aea144199fee5fb2b5b1ffcf9f0ac6528ce)
@@ -38,5 +38,5 @@
 #include <arch/mm/tlb.h>
 #include <arch/mm/page.h>
-#include <arch/barrier.h>
+#include <barrier.h>
 #include <assert.h>
 #include <mm/as.h>