HelenOS sources

asid_t             38 kernel/arch/abs32le/include/arch/mm/asid.h typedef uint32_t asid_t;
asid_t             47 kernel/arch/amd64/include/arch/mm/asid.h typedef int32_t asid_t;
asid_t             45 kernel/arch/arm32/include/arch/mm/asid.h typedef uint8_t asid_t;
asid_t             46 kernel/arch/arm64/include/arch/mm/asid.h typedef uint8_t asid_t;
asid_t             47 kernel/arch/ia32/include/arch/mm/asid.h typedef int32_t asid_t;
asid_t             42 kernel/arch/ia64/include/arch/mm/asid.h typedef uint16_t asid_t;
asid_t             42 kernel/arch/mips32/include/arch/mm/asid.h typedef uint8_t asid_t;
asid_t             42 kernel/arch/ppc32/include/arch/mm/asid.h typedef uint32_t asid_t;
asid_t             42 kernel/arch/riscv64/include/arch/mm/asid.h typedef uint32_t asid_t;
asid_t             43 kernel/arch/sparc64/include/arch/mm/asid.h typedef uint16_t asid_t;