c_numshootdown     88 kern/include/cpu.h 	int c_numshootdown;
c_numshootdown    189 kern/thread/thread.c 	c->c_numshootdown = 0;
c_numshootdown   1150 kern/thread/thread.c 	n = target->c_numshootdown;
c_numshootdown   1152 kern/thread/thread.c 		target->c_numshootdown = TLBSHOOTDOWN_ALL;
c_numshootdown   1156 kern/thread/thread.c 		target->c_numshootdown = n+1;
c_numshootdown   1196 kern/thread/thread.c 		if (curcpu->c_numshootdown == TLBSHOOTDOWN_ALL) {
c_numshootdown   1200 kern/thread/thread.c 			for (i=0; i<curcpu->c_numshootdown; i++) {
c_numshootdown   1204 kern/thread/thread.c 		curcpu->c_numshootdown = 0;