static void main_thread(void *arg) { WTPInitMachine *sm; WAPEvent *e; while (initiator_run_status == running && (e = gwlist_consume(queue)) != NULL) { sm = init_machine_find_or_create(e); if (sm == NULL) wap_event_destroy(e); else handle_init_event(sm, e); } }
static void node_event(node_state *ns, tw_bf *b, node_msg *m, tw_lp *lp) { switch (m->node_event_type) { case INIT: handle_init_event(ns, b, m, lp); break; case PING: handle_ping_event(ns, b, m, lp); break; case PONG: handle_pong_event(ns, b, m, lp); break; default: printf("\n Invalid message type %d", m->node_event_type); assert(0); break; } }