Searched refs:start_worker_thread (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-2018-10-04/lib/tweed/ | ||
| H A D | tweed.c | 106 static int start_worker_thread(void * data) { function 180 err = domain_thread_create_on(i + disp_get_core_id(), start_worker_thread, |
Completed in 28 milliseconds