efc_sm_transition
efc_sm_transition(&nport->sm, __efc_nport_allocated, NULL);
efc_sm_transition(ctx, __efc_domain_wait_alloc, arg);
efc_sm_transition(ctx, __efc_domain_wait_alloc, arg);
efc_sm_transition(ctx, __efc_domain_allocated, NULL);
efc_sm_transition(ctx, __efc_domain_allocated, NULL);
efc_sm_transition(&domain->drvsm, __efc_domain_init,
efc_sm_transition(ctx, __efc_domain_wait_domain_lost, NULL);
efc_sm_transition(ctx, __efc_domain_wait_attach, NULL);
efc_sm_transition(ctx, __efc_domain_wait_nports_free,
efc_sm_transition(ctx, __efc_domain_wait_shutdown,
efc_sm_transition(ctx, __efc_domain_ready, NULL);
efc_sm_transition(ctx, __efc_domain_wait_domain_lost, NULL);
efc_sm_transition(ctx, __efc_domain_wait_nports_free,
efc_sm_transition(ctx, __efc_domain_wait_shutdown,
efc_sm_transition(ctx, __efc_domain_wait_shutdown, NULL);
efc_sm_transition(&domain->drvsm, __efc_domain_init,
efc_sm_transition(ctx, __efc_domain_wait_nports_free,
efc_sm_transition(ctx, __efc_domain_wait_shutdown,
efc_sm_transition(ctx, __efc_nport_attached, NULL);
efc_sm_transition(ctx, __efc_nport_wait_port_free,
efc_sm_transition(ctx,
efc_sm_transition(ctx, __efc_nport_attached, NULL);
efc_sm_transition(ctx, __efc_nport_vport_wait_alloc, NULL);
efc_sm_transition(ctx, __efc_nport_vport_allocated, NULL);
efc_sm_transition(ctx, __efc_nport_attached, NULL);
efc_sm_transition(ctx, __efc_nport_wait_port_free, NULL);
efc_sm_transition(&nport->sm, __efc_nport_vport_init, NULL);
efc_sm_transition(struct efc_sm_ctx *ctx,