HelenOS sources

ASID_MAX_ARCH      40 kernel/arch/abs32le/include/arch/mm/asid.h #define ASID_MAX_ARCH  3
ASID_MAX_ARCH      49 kernel/arch/amd64/include/arch/mm/asid.h #define ASID_MAX_ARCH  3
ASID_MAX_ARCH      43 kernel/arch/arm32/include/arch/mm/asid.h #define ASID_MAX_ARCH		3	/* minimal required number */
ASID_MAX_ARCH      48 kernel/arch/arm64/include/arch/mm/asid.h #define ASID_MAX_ARCH  255
ASID_MAX_ARCH      49 kernel/arch/ia32/include/arch/mm/asid.h #define ASID_MAX_ARCH  3
ASID_MAX_ARCH      63 kernel/arch/ia64/include/arch/mm/asid.h #define ASID_MAX_ARCH		(RID_MAX / RIDS_PER_ASID)
ASID_MAX_ARCH      40 kernel/arch/mips32/include/arch/mm/asid.h #define ASID_MAX_ARCH  255    /* 2^8 - 1 */
ASID_MAX_ARCH      40 kernel/arch/ppc32/include/arch/mm/asid.h #define ASID_MAX_ARCH  4096
ASID_MAX_ARCH      40 kernel/arch/riscv64/include/arch/mm/asid.h #define ASID_MAX_ARCH  4096
ASID_MAX_ARCH      45 kernel/arch/sparc64/include/arch/mm/asid.h #define ASID_MAX_ARCH		8191	/* 2^13 - 1 */