/* MI Internal Functions for GDB, the GNU debugger.
- Copyright (C) 2003, 2007 Free Software Foundation, Inc.
+ Copyright (C) 2003, 2007-2012 Free Software Foundation, Inc.
This file is part of GDB.
unsigned long total_section,
unsigned long total_sent,
unsigned long grand_total);
+
+extern void mi_print_timing_maybe (void);
+
+extern char *current_token;
+
+extern int running_result_record_printed;
+extern int mi_proceeded;
+extern int mi_suppress_breakpoint_notifications;
+
#endif