efc_domain_dispatch_frame
if (efc_domain_dispatch_frame(domain, seq))
efc_domain_dispatch_frame(void *arg, struct efc_hw_sequence *seq);