TLBSHOOTDOWN_ALL 1152 kern/thread/thread.c target->c_numshootdown = TLBSHOOTDOWN_ALL; TLBSHOOTDOWN_ALL 1196 kern/thread/thread.c if (curcpu->c_numshootdown == TLBSHOOTDOWN_ALL) {