HelenOS sources

asid_put_arch     162 kernel/genarch/src/mm/asid.c 	asid_put_arch(asid);
asid_put_arch      80 kernel/generic/include/mm/asid.h #ifndef asid_put_arch
asid_put_arch      81 kernel/generic/include/mm/asid.h extern void asid_put_arch(asid_t asid);