__efc_domain_wait_attach
efc_sm_transition(ctx, __efc_domain_wait_attach, NULL);
__efc_domain_wait_attach(struct efc_sm_ctx *ctx, enum efc_sm_event evt,