Index: kernel/arch/arm32/include/arch/barrier.h
===================================================================
--- kernel/arch/arm32/include/arch/barrier.h	(revision 5783d107385593ef688fcb9ee4a1447a4e4d6e68)
+++ kernel/arch/arm32/include/arch/barrier.h	(revision 811770c99b96760cdbd8d7f79f5e5bcb969a353e)
@@ -97,4 +97,6 @@
 #endif
 
+#ifdef KERNEL
+
 /*
  * There are multiple ways ICache can be implemented on ARM machines. Namely
@@ -134,4 +136,5 @@
 #endif
 
+#endif	/* KERNEL */
 
 #endif