Kernel/src/wm.c

229   mc_list.total_workers = 0;
317   mc_list.total_workers++;
1133   while (num_exited != mc_list.total_workers && (timer1-- > 0 || dont_fork))
1137      while (closed_bports != mc_list.total_workers && (timer2-- > 0||dont_fork))
1195   stat_msg->total_workers = mc_list.total_workers;
2340 			 mc_list.total_workers);
2363   while (init_acks != (mc_list.total_workers)) short_sleep(1000);
2434     while (init_acks != (mc_list.total_workers)) short_sleep(1000);
2544 	     session_key, mc_list.total_workers);