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