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

/barrelfish-2018-10-04/lib/tweed/
H A Dtweed.c26 static volatile int num_dispatchers = 1; variable
91 num_dispatchers += 1;
125 num_dispatchers++;
168 while (num_dispatchers < num_workers) {
171 num_dispatchers = 1; // reset
188 while (num_dispatchers < num_workers) {

Completed in 90 milliseconds