Index: generic/include/mm/asid.h
===================================================================
--- generic/include/mm/asid.h	(revision 5ac2e615fb8586e042684848b35e368b21c3189f)
+++ generic/include/mm/asid.h	(revision 085434aa44aed066803577be18124785944a0f49)
@@ -55,5 +55,5 @@
 extern link_t as_with_asid_head;
 
-extern asid_t asid_get(void);
+extern asid_t asid_get(void);        /*This is in collision with ia32 macro*/
 extern void asid_put(asid_t asid);