extern void set_next_address (struct gdbarch *, CORE_ADDR);
-extern void print_address_symbolic (CORE_ADDR, struct ui_file *, int,
- char *);
+extern void print_address_symbolic (struct gdbarch *, CORE_ADDR,
+ struct ui_file *, int, char *);
-extern int build_address_symbolic (CORE_ADDR addr,
+extern int build_address_symbolic (struct gdbarch *,
+ CORE_ADDR addr,
int do_demangle,
char **name,
int *offset,