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