sim: profile: implement --profile-file backend

[deliverable/binutils-gdb.git] / gdb / remote.h

diff --git a/gdb/remote.h b/gdb/remote.h
index 50f1a8614763a365bec69ce829e8772052c1dcfe..d480e2608fb61b23486922f95570ffaffa79405c 100644 (file)
--- a/gdb/remote.h
+++ b/gdb/remote.h
@@ -1,11 +1,12 @@
 /* Remote target communications for serial-line targets in custom GDB protocol
-   Copyright (C) 1999, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
+   Copyright (C) 1999, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010
+   Free Software Foundation, Inc.
 
    This file is part of GDB.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2 of the License, or
+   the Free Software Foundation; either version 3 of the License, or
    (at your option) any later version.
 
    This program is distributed in the hope that it will be useful,
@@ -14,9 +15,7 @@
    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., 51 Franklin Street, Fifth Floor,
-   Boston, MA 02110-1301, USA.  */
+   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
 
 #ifndef REMOTE_H
 #define REMOTE_H
@@ -67,5 +66,16 @@ extern void (*deprecated_target_wait_loop_hook) (void);
 
 void register_remote_g_packet_guess (struct gdbarch *gdbarch, int bytes,
                                     const struct target_desc *tdesc);
+void register_remote_support_xml (const char *);
+
+void remote_file_put (const char *local_file, const char *remote_file,
+                     int from_tty);
+void remote_file_get (const char *remote_file, const char *local_file,
+                     int from_tty);
+void remote_file_delete (const char *remote_file, int from_tty);
+
+bfd *remote_bfd_open (const char *remote_file, const char *target);
+
+int remote_filename_p (const char *filename);
 
 #endif