int connection_read(struct connection *connection, void *data, int len);
/**
- * Used by server_loop(), defined in server_stubs.c or ecosboard.c
+ * Used by server_loop(), defined in server_stubs.c
*/
void openocd_sleep_prelude(void);
/**
- * Used by server_loop(), defined in server_stubs.c or ecosboard.c
+ * Used by server_loop(), defined in server_stubs.c
*/
void openocd_sleep_postlude(void);