__efc_node_wait_els_shutdown
efc_node_transition(node, __efc_node_wait_els_shutdown, NULL);
__efc_node_wait_els_shutdown(struct efc_sm_ctx *ctx,