GDB (API)
|
00001 /* Remote File-I/O communications 00002 00003 Copyright (C) 2003-2013 Free Software Foundation, Inc. 00004 00005 This file is part of GDB. 00006 00007 This program is free software; you can redistribute it and/or modify 00008 it under the terms of the GNU General Public License as published by 00009 the Free Software Foundation; either version 3 of the License, or 00010 (at your option) any later version. 00011 00012 This program is distributed in the hope that it will be useful, 00013 but WITHOUT ANY WARRANTY; without even the implied warranty of 00014 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00015 GNU General Public License for more details. 00016 00017 You should have received a copy of the GNU General Public License 00018 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 00019 00020 /* See the GDB User Guide for details of the GDB remote protocol. */ 00021 00022 #ifndef REMOTE_FILEIO_H 00023 #define REMOTE_FILEIO_H 00024 00025 struct cmd_list_element; 00026 00027 /* Unified interface to remote fileio, called in remote.c from 00028 remote_wait () and remote_async_wait (). */ 00029 extern void remote_fileio_request (char *buf, int ctrlc_pending_p); 00030 00031 /* Cleanup any remote fileio state. */ 00032 extern void remote_fileio_reset (void); 00033 00034 /* Called from _initialize_remote (). */ 00035 extern void initialize_remote_fileio ( 00036 struct cmd_list_element *remote_set_cmdlist, 00037 struct cmd_list_element *remote_show_cmdlist); 00038 00039 #endif