Symbol: tlb_asid_t
sys/arch/aarch64/include/types.h
66
typedef unsigned int tlb_asid_t;
sys/arch/arm/include/types.h
65
typedef unsigned short tlb_asid_t;
sys/arch/mips/include/types.h
153
typedef __uint32_t tlb_asid_t;
sys/arch/or1k/include/types.h
56
typedef unsigned short tlb_asid_t;
sys/arch/powerpc/include/types.h
75
typedef __uint32_t tlb_asid_t; /* for booke */
sys/arch/riscv/include/types.h
69
typedef unsigned int tlb_asid_t;