NODE_SYNCH_END_EVT
tipc_node_fsm_evt(n, NODE_SYNCH_END_EVT);
case NODE_SYNCH_END_EVT:
case NODE_SYNCH_END_EVT:
case NODE_SYNCH_END_EVT:
case NODE_SYNCH_END_EVT:
case NODE_SYNCH_END_EVT:
case NODE_SYNCH_END_EVT:
case NODE_SYNCH_END_EVT:
case NODE_SYNCH_END_EVT:
tipc_node_fsm_evt(n, NODE_SYNCH_END_EVT);
tipc_node_fsm_evt(n, NODE_SYNCH_END_EVT);