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

/barrelfish-2018-10-04/include/barrelfish/
H A Dthreads.h83 void thread_set_outgoing_token(uint32_t token);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dthreads.c621 void thread_set_outgoing_token(uint32_t token) function

Completed in 44 milliseconds