EFC_EVT_DOMAIN_LOST
case EFC_EVT_DOMAIN_LOST:
case EFC_EVT_DOMAIN_LOST:
case EFC_EVT_DOMAIN_LOST: {
efc_domain_post_event(domain, EFC_EVT_DOMAIN_LOST, NULL);
case EFC_EVT_DOMAIN_LOST:
case EFC_EVT_DOMAIN_LOST: {
[EFC_EVT_DOMAIN_LOST] = "EFC_EVT_DOMAIN_LOST", \