efc_domain_post_event
efc_domain_post_event(domain, EFC_EVT_DOMAIN_FOUND, drec);
efc_domain_post_event(domain, EFC_EVT_DOMAIN_LOST, NULL);
efc_domain_post_event(domain, EFC_EVT_DOMAIN_ALLOC_OK, NULL);
efc_domain_post_event(domain, EFC_EVT_DOMAIN_ALLOC_FAIL,
efc_domain_post_event(domain, EFC_EVT_DOMAIN_ATTACH_OK, NULL);
efc_domain_post_event(domain,
efc_domain_post_event(domain, EFC_EVT_DOMAIN_FREE_OK, NULL);
efc_domain_post_event(domain, EFC_EVT_DOMAIN_FREE_FAIL, NULL);
efc_domain_post_event(struct efc_domain *domain, enum efc_sm_event event,
efc_domain_post_event(domain, EFC_EVT_ALL_CHILD_NODES_FREE,