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

/barrelfish-2018-10-04/include/thc/
H A Dthcstubs.h226 extern void thc_start_receive_any(struct thc_per_binding_state_t *thc);
/barrelfish-2018-10-04/lib/thc/
H A Dthcstubs.c418 void thc_start_receive_any(struct thc_per_binding_state_t *thc) { function
419 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " > thc_start_receive_any\n"));
421 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " < thc_start_receive_any\n"));

Completed in 92 milliseconds