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

/barrelfish-2018-10-04/lib/tweed/
H A Dtweed.c132 int init_tweed(int workers_requested, argument
137 if (workers_requested < 1) {
143 num_workers = workers_requested;
/barrelfish-2018-10-04/include/tweed/
H A Dtweed.h488 int init_tweed(int workers_requested,

Completed in 80 milliseconds