/* SPDX-License-Identifier: GPL-2.0-or-later */ /*************************************************************************** * Copyright (C) 2008 * ***************************************************************************/ #ifndef OPENOCD_SERVER_TCL_SERVER_H #define OPENOCD_SERVER_TCL_SERVER_H #include int tcl_init(void); int tcl_register_commands(struct command_context *cmd_ctx); void tcl_service_free(void); #endif /* OPENOCD_SERVER_TCL_SERVER_H */