HelenOS sources

RIDS_PER_ASID      58 kernel/arch/ia64/include/arch/mm/asid.h 	((asid) * RIDS_PER_ASID + (vrn))
RIDS_PER_ASID      61 kernel/arch/ia64/include/arch/mm/asid.h 	((rid) / RIDS_PER_ASID)
RIDS_PER_ASID      63 kernel/arch/ia64/include/arch/mm/asid.h #define ASID_MAX_ARCH		(RID_MAX / RIDS_PER_ASID)
HelenOS homepage, sources at GitHub