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

/barrelfish-2018-10-04/include/thc/
H A Dthcstubs.h230 extern void thc_wait_receive_any(struct thc_per_binding_state_t *thc,
/barrelfish-2018-10-04/lib/thc/
H A Dthcstubs.c447 void thc_wait_receive_any(struct thc_per_binding_state_t *thc, function
451 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " > thc_wait_receive_any\n"));
456 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " < thc_wait_receive_any\n"));
482 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " < thc_wait_receive_any\n"));

Completed in 34 milliseconds