cpu_startup_sem    73 kern/thread/thread.c static struct semaphore *cpu_startup_sem;
cpu_startup_sem   405 kern/thread/thread.c 	V(cpu_startup_sem);
cpu_startup_sem   419 kern/thread/thread.c 	cpu_startup_sem = sem_create("cpu_hatch", 0);
cpu_startup_sem   423 kern/thread/thread.c 		P(cpu_startup_sem);
cpu_startup_sem   425 kern/thread/thread.c 	sem_destroy(cpu_startup_sem);
cpu_startup_sem   426 kern/thread/thread.c 	cpu_startup_sem = NULL;