Symbol: TID_MAX
sys/powerpc/booke/pmap.c
207
static volatile pmap_t tidbusy[MAXCPU][TID_MAX + 1];
sys/powerpc/booke/pmap.c
2474
if (tid > TID_MAX)