1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 /***************************************************************************
5 ***************************************************************************/
7 #ifndef OPENOCD_SERVER_TCL_SERVER_H
8 #define OPENOCD_SERVER_TCL_SERVER_H
10 #include <server/server.h>
13 int tcl_register_commands(struct command_context
*cmd_ctx
);
14 void tcl_service_free(void);
16 #endif /* OPENOCD_SERVER_TCL_SERVER_H */