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

/barrelfish-2018-10-04/lib/barrelfish/include/
H A Dthreads_priv.h121 void thread_init_remote(dispatcher_handle_t handle, struct thread *thread);
/barrelfish-2018-10-04/lib/barrelfish/
H A Ddomain.c511 thread_init_remote(disp, thread);
H A Dthreads.c1208 void thread_init_remote(dispatcher_handle_t handle, struct thread *thread) function

Completed in 87 milliseconds