HelenOS sources

asid_get           42 kernel/arch/abs32le/include/arch/mm/asid.h #define asid_get()      (ASID_START + 1)
asid_get           51 kernel/arch/amd64/include/arch/mm/asid.h #define asid_get()  (ASID_START + 1)
asid_get           51 kernel/arch/arm32/include/arch/mm/asid.h #define asid_get()		(ASID_START + 1)
asid_get           51 kernel/arch/ia32/include/arch/mm/asid.h #define asid_get()  (ASID_START + 1)
asid_get           44 kernel/arch/riscv64/include/arch/mm/asid.h #define asid_get()  (ASID_START + 1)
asid_get           74 kernel/genarch/src/mm/asid.c asid_t asid_get(void)