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)