HelenOS sources

asid_find_free    138 kernel/genarch/src/mm/asid.c 		asid = asid_find_free();
asid_find_free     76 kernel/generic/include/mm/asid.h #ifndef asid_find_free
asid_find_free     77 kernel/generic/include/mm/asid.h extern asid_t asid_find_free(void);