Searched defs:main_args (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/lib/tweed/
H A Dtweed.c50 main_worker(int id, int(*main_func)(struct generic_task_desc *,void*), void * main_args) argument
132 init_tweed(int workers_requested, int(*main_func)(struct generic_task_desc *,void*), void* main_args) argument

Completed in 23 milliseconds