-extern void monitor_open PARAMS ((char *args, struct monitor_ops * ops,
- int from_tty));
-extern void monitor_close PARAMS ((int quitting));
-extern char *monitor_supply_register PARAMS ((int regno, char *valstr));
-extern int monitor_expect PARAMS ((char *prompt, char *buf, int buflen));
-extern int monitor_expect_prompt PARAMS ((char *buf, int buflen));
-extern void monitor_printf
-PARAMS ((char *,...))
-ATTR_FORMAT (printf, 1, 2);
- extern void monitor_printf_noecho PARAMS ((char *,...))
- ATTR_FORMAT (printf, 1, 2);
- extern void monitor_write PARAMS ((char *buf, int buflen));
- extern int monitor_readchar PARAMS ((void));
- extern char *monitor_get_dev_name PARAMS ((void));
- extern void init_monitor_ops PARAMS ((struct target_ops *));
- extern int monitor_dump_reg_block PARAMS ((char *dump_cmd));
- extern void flush_monitor_dcache PARAMS ((void));
+extern void monitor_open (char *args, struct monitor_ops *ops, int from_tty);
+extern void monitor_close (int quitting);
+extern char *monitor_supply_register (int regno, char *valstr);
+extern int monitor_expect (char *prompt, char *buf, int buflen);
+extern int monitor_expect_prompt (char *buf, int buflen);
+/* Note: The variable argument functions monitor_printf and
+ monitor_printf_noecho vararg do not take take standard format style
+ arguments. Instead they take custom formats interpretered directly
+ by monitor_vsprintf. */
+extern void monitor_printf (char *, ...);
+extern void monitor_printf_noecho (char *, ...);
+extern void monitor_write (char *buf, int buflen);
+extern int monitor_readchar (void);
+extern char *monitor_get_dev_name (void);
+extern void init_monitor_ops (struct target_ops *);
+extern int monitor_dump_reg_block (char *dump_cmd);
+
+#endif