--- Gnu-Mach/ddb/db_output.h	2020/09/02 04:36:57	1.1
+++ Gnu-Mach/ddb/db_output.h	2020/09/02 04:45:48	1.1.1.3
@@ -32,13 +32,9 @@
  * Printing routines for kernel debugger.
  */
 
-extern void	db_force_whitespace();
-extern int	db_print_position();
-extern void	db_end_line();
-#if 1
-extern void	db_printf();
-#else
-extern void	db_printf( char *fmt, ...);
-#endif
-
-
+extern void	db_force_whitespace(void);
+extern int	db_print_position(void);
+extern void	db_end_line(void);
+extern void	db_printf(const char *fmt, ...);
+extern void	db_putchar(int c);
+extern void	kdbprintf(const char *fmt, ...);