Index: kernel/generic/include/mm/asid.h
===================================================================
--- kernel/generic/include/mm/asid.h	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/generic/include/mm/asid.h	(revision 314f4b59687d394aa33a8c64a0f52470e5767db7)
@@ -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)