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

/barrelfish-2018-10-04/include/barrelfish/
H A Dthreads.h84 void thread_get_outgoing_token(uint32_t *token);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dthreads.c629 void thread_get_outgoing_token(uint32_t *token) function

Completed in 46 milliseconds