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

/barrelfish-2018-10-04/lib/tweed/
H A Dtweed.c113 static void init_worker(int id, void* stack_start) { function
152 init_worker(i, curr_stack_space);
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/src/
H A Dwm.c280 int init_worker(hostname,redraw) function
1818 init_worker(hostname,0);
1886 init_worker(init_host,0);
2412 worker_index = init_worker(mc->hostname,1);

Completed in 52 milliseconds