HelenOS sources

asid_get           64 kernel/generic/include/mm/asid.h #ifndef asid_get
asid_get           65 kernel/generic/include/mm/asid.h extern asid_t asid_get(void);
asid_get         1675 kernel/generic/src/mm/as.c 			new_as->asid = asid_get();