TLBSHOOTDOWN_MAX   87 kern/include/cpu.h 	struct tlbshootdown c_shootdown[TLBSHOOTDOWN_MAX];
TLBSHOOTDOWN_MAX 1151 kern/thread/thread.c 	if (n == TLBSHOOTDOWN_MAX) {