HelenOS sources

asid_put           68 kernel/generic/include/mm/asid.h #ifndef asid_put
asid_put           69 kernel/generic/include/mm/asid.h extern void asid_put(asid_t asid);
asid_put          243 kernel/generic/src/mm/as.c 		asid_put(as->asid);