__efc_node_wait_node_free
efc_node_transition(node, __efc_node_wait_node_free,
__efc_node_wait_node_free(struct efc_sm_ctx *ctx,