+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);