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