-/* Copyright (C) 2008, 2009 Free Software Foundation, Inc.
+/* Copyright (C) 2008-2019 Free Software Foundation, Inc.
This file is part of GDB.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. */
-#ifndef WIN32_TDEP_H
-#define WIN32_TDEP_H
+#ifndef WINDOWS_TDEP_H
+#define WINDOWS_TDEP_H
struct obstack;
+struct gdbarch;
-extern void win32_xfer_shared_library (const char* so_name,
- CORE_ADDR load_addr,
- struct obstack *obstack);
+extern struct cmd_list_element *info_w32_cmdlist;
+extern void init_w32_command_list (void);
+
+extern void windows_xfer_shared_library (const char* so_name,
+ CORE_ADDR load_addr,
+ struct gdbarch *gdbarch,
+ struct obstack *obstack);
+
+extern void windows_init_abi (struct gdbarch_info info,
+ struct gdbarch *gdbarch);
#endif