__efc_domain_wait_alloc
efc_sm_transition(ctx, __efc_domain_wait_alloc, arg);
__efc_domain_wait_alloc(struct efc_sm_ctx *ctx, enum efc_sm_event evt,