Searched refs:total_workers (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dwm_types.h67 int total_workers; member in struct:__anon1676
H A Dwm_msgs.h163 int total_workers; member in struct:__anon1670
H A Dwm.c229 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);
[all...]
H A Dworker.c981 status_ret = status_msg->total_workers;

Completed in 45 milliseconds