src/server/ipdbg.h

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2 /* Copyright (C) 2020 by Daniel Anselmi <danselmi@gmx.ch> */
   3
   4 #ifndef OPENOCD_IPDBG_IPDBG_H
   5 #define OPENOCD_IPDBG_IPDBG_H
   6
   7 #include <helper/command.h>
   8
   9 int ipdbg_register_commands(struct command_context *cmd_ctx);
  10 int ipdbg_server_free(void);
  11
  12 #endif /* OPENOCD_IPDBG_IPDBG_H */