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