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