domain_trace
domain_trace(domain, "EFC_HW_DOMAIN_LOST:\n");
domain_trace(domain, "EFC_HW_DOMAIN_ALLOC_OK:\n");
domain_trace(domain, "EFC_HW_DOMAIN_ALLOC_FAIL:\n");
domain_trace(domain, "EFC_HW_DOMAIN_ATTACH_OK:\n");
domain_trace(domain, "EFC_HW_DOMAIN_ATTACH_FAIL:\n");
domain_trace(domain, "EFC_HW_DOMAIN_FREE_OK:\n");
domain_trace(domain, "EFC_HW_DOMAIN_FREE_FAIL:\n");