start_init_exec   126 kern/init_main.c __volatile int start_init_exec;		/* semaphore for start_init() */
start_init_exec   529 kern/init_main.c 	start_init_exec = 1;
start_init_exec   530 kern/init_main.c 	wakeup((void *)&start_init_exec);
start_init_exec   591 kern/init_main.c 	while (start_init_exec == 0)
start_init_exec   592 kern/init_main.c 		(void) tsleep((void *)&start_init_exec, PWAIT, "initexec", 0);