HelenOS sources

ASID_START         42 kernel/arch/abs32le/include/arch/mm/asid.h #define asid_get()      (ASID_START + 1)
ASID_START         51 kernel/arch/amd64/include/arch/mm/asid.h #define asid_get()  (ASID_START + 1)
ASID_START         51 kernel/arch/arm32/include/arch/mm/asid.h #define asid_get()		(ASID_START + 1)
ASID_START         51 kernel/arch/ia32/include/arch/mm/asid.h #define asid_get()  (ASID_START + 1)
ASID_START         44 kernel/arch/riscv64/include/arch/mm/asid.h #define asid_get()  (ASID_START + 1)
ASID_START         76 kernel/genarch/src/mm/asid_fifo.c 		fifo_push(free_asids, ASID_START + i);
ASID_START         59 kernel/generic/include/mm/asid.h #define ASIDS_ALLOCABLE	((ASID_MAX + 1) - ASID_START)