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

/barrelfish-2018-10-04/include/thc/
H A Dthcstubs.h122 // can enter thc_await_send and find this flag set because an
240 extern void thc_await_send(struct thc_per_binding_state_t *thc,
/barrelfish-2018-10-04/lib/thc/
H A Dthcstubs.c557 void thc_await_send(struct thc_per_binding_state_t *thc, function
560 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " > thc_await_send\n"));
588 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " > thc_await_send\n"));
643 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " < thc_await_send\n"));

Completed in 88 milliseconds