Index: generic/include/mm/asid.h
===================================================================
--- generic/include/mm/asid.h	(revision 4512d7e1af168899c6317084648322e9f8381026)
+++ generic/include/mm/asid.h	(revision 6ed5352295adcd745ba17129d6c6a4abd72de065)
@@ -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