Index: generic/include/mm/asid.h
===================================================================
--- generic/include/mm/asid.h	(revision 4512d7e1af168899c6317084648322e9f8381026)
+++ generic/include/mm/asid.h	(revision fa7d9c4ef348472e2a95daf771066f139607e50f)
@@ -55,6 +55,11 @@
 #endif /* !def asid_install */
 
-#define asid_find_free()	ASID_START
-#define asid_put_arch(x)
+#ifndef asid_find_free
+extern asid_t asid_find_free(void);
+#endif /* !def asid_find_free */
+
+#ifndef asid_put_arch
+extern void asid_put_arch(asid_t asid);
+#endif /* !def asid_put_arch */
 
 #endif