--- Gnu-Mach/ddb/db_command.h	2020/09/02 04:43:15	1.1.1.2
+++ Gnu-Mach/ddb/db_command.h	2020/09/02 04:45:46	1.1.1.3
@@ -27,7 +27,7 @@
  *	Author: David B. Golub, Carnegie Mellon University
  *	Date:	7/90
  */
-#include "mach_kdb.h"
+
 #if MACH_KDB
 
 /*
@@ -37,11 +37,10 @@
 #include <machine/db_machdep.h>
 #include <machine/setjmp.h>
 
-extern void		db_command_loop();
-extern boolean_t	db_exec_conditional_cmd();
-extern boolean_t	db_option(/* char *, int */);
+extern void		db_command_loop(void);
+extern boolean_t	db_option(char *, int);
 
-extern void		db_error(/* char * */);	/* report error */
+extern void		db_error(char *);	/* report error */
 
 extern db_addr_t	db_dot;		/* current location */
 extern db_addr_t	db_last_addr;	/* last explicit address typed */
@@ -67,4 +66,8 @@ struct db_command {
 	struct db_command *more;   /* another level of command */
 };
 
+extern boolean_t db_exec_cmd_nest(char *cmd, int size);
+
+void db_fncall();
+
 #endif /* MACH_KDB */