Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/config.h	(revision 948222e45b757067cc0c8605fb69b04c5ba6f5a8)
@@ -50,5 +50,5 @@
 #define CONFIG_TASK_ARGUMENTS_BUFLEN 64
 
-#ifndef __ASM__
+#ifndef __ASSEMBLER__
 
 #include <stdbool.h>
@@ -109,5 +109,5 @@
 extern ballocs_t ballocs;
 
-#endif /* __ASM__ */
+#endif /* __ASSEMBLER__ */
 
 #endif
Index: kernel/generic/include/macros.h
===================================================================
--- kernel/generic/include/macros.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/macros.h	(revision 948222e45b757067cc0c8605fb69b04c5ba6f5a8)
@@ -36,5 +36,5 @@
 #define KERN_MACROS_H_
 
-#ifndef __ASM__
+#ifndef __ASSEMBLER__
 
 #include <stdint.h>
@@ -98,5 +98,5 @@
 }
 
-#endif /* __ASM__ */
+#endif /* __ASSEMBLER__ */
 
 #define ispwr2(x)  (((x) & ((x) - 1)) == 0)
Index: kernel/generic/include/mm/asid.h
===================================================================
--- kernel/generic/include/mm/asid.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/mm/asid.h	(revision 948222e45b757067cc0c8605fb69b04c5ba6f5a8)
@@ -41,5 +41,5 @@
 #define KERN_ASID_H_
 
-#ifndef __ASM__
+#ifndef __ASSEMBLER__
 
 #include <arch/mm/asid.h>
@@ -55,5 +55,5 @@
 #define ASID_MAX	ASID_MAX_ARCH
 
-#ifndef __ASM__
+#ifndef __ASSEMBLER__
 
 #define ASIDS_ALLOCABLE	((ASID_MAX + 1) - ASID_START)