__efc_d_wait_logo_rsp
__efc_d_wait_logo_rsp, NULL);
__efc_d_wait_logo_rsp(struct efc_sm_ctx *ctx,
efc_node_transition(node, __efc_d_wait_logo_rsp, NULL);