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

/barrelfish-2018-10-04/lib/thc/
H A Dthcstubs.c512 static void thc_send_possible_event(void *arg) { function
515 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " > thc_send_possible_event\n"));
528 DEBUG_STUBS(DEBUGPRINTF(DEBUG_STUBS_PREFIX " < thc_send_possible_event\n"));
561 // Synchronize with thc_send_possible_event callback
568 MKCONT(thc_send_possible_event, c));
599 // Synchronize with thc_send_possible_event callback
612 MKCONT(thc_send_possible_event, c));

Completed in 90 milliseconds