openocd: src: fix incorrect GPL license tag
[fw/openocd] / src / server / gdb_server.h
index 2792a2030df17c21238147d205173900b3f2c6ad..993984bc3814e34019f1f55b315c9c805cacd6a5 100644 (file)
  *   GNU General Public License for more details.                          *
  *                                                                         *
  *   You should have received a copy of the GNU General Public License     *
- *   along with this program; if not, write to the                         *
- *   Free Software Foundation, Inc.,                                       *
- *   59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.             *
+ *   along with this program.  If not, see <http://www.gnu.org/licenses/>. *
  ***************************************************************************/
-#ifndef GDB_SERVER_H
-#define GDB_SERVER_H
+
+#ifndef OPENOCD_SERVER_GDB_SERVER_H
+#define OPENOCD_SERVER_GDB_SERVER_H
 
 struct image;
 struct reg;
 #include <target/target.h>
 
-#define GDB_BUFFER_SIZE        16384
+#define GDB_BUFFER_SIZE 16384
 
 int gdb_target_add_all(struct target *target);
 int gdb_register_commands(struct command_context *command_context);
+void gdb_service_free(void);
 
 int gdb_put_packet(struct connection *connection, char *buffer, int len);
 
@@ -49,4 +49,4 @@ static inline struct target *get_target_from_connection(struct connection *conne
 #define ERROR_GDB_BUFFER_TOO_SMALL (-800)
 #define ERROR_GDB_TIMEOUT (-801)
 
-#endif /* GDB_SERVER_H */
+#endif /* OPENOCD_SERVER_GDB_SERVER_H */