GDB (API): /home/stan/gdb/src/gdb/windows-tdep.h Source File

Go to the documentation of this file.
00001 /* Copyright (C) 2008-2013 Free Software Foundation, Inc.
00002 
00003    This file is part of GDB.
00004 
00005    This program is free software; you can redistribute it and/or modify
00006    it under the terms of the GNU General Public License as published by
00007    the Free Software Foundation; either version 3 of the License, or
00008    (at your option) any later version.
00009 
00010    This program is distributed in the hope that it will be useful,
00011    but WITHOUT ANY WARRANTY; without even the implied warranty of
00012    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00013    GNU General Public License for more details.
00014 
00015    You should have received a copy of the GNU General Public License
00016    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
00017 
00018 #ifndef WINDOWS_TDEP_H
00019 #define WINDOWS_TDEP_H
00020 
00021 struct obstack;
00022 struct gdbarch;
00023 
00024 extern struct cmd_list_element *info_w32_cmdlist;
00025 
00026 extern void init_w32_command_list (void);
00027 
00028 extern void windows_xfer_shared_library (const char* so_name,
00029                                          CORE_ADDR load_addr,
00030                                          struct gdbarch *gdbarch,
00031                                          struct obstack *obstack);
00032 
00033 extern void windows_init_abi (struct gdbarch_info info,
00034                               struct gdbarch *gdbarch);
00035 #endif