HelenOS sources

asid_put           43 kernel/arch/abs32le/include/arch/mm/asid.h #define asid_put(asid)
asid_put           52 kernel/arch/amd64/include/arch/mm/asid.h #define asid_put(asid)
asid_put           53 kernel/arch/arm32/include/arch/mm/asid.h #define asid_put(asid)
asid_put           52 kernel/arch/ia32/include/arch/mm/asid.h #define asid_put(asid)
asid_put           45 kernel/arch/riscv64/include/arch/mm/asid.h #define asid_put(asid)
asid_put          159 kernel/genarch/src/mm/asid.c void asid_put(asid_t asid)