--- 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:48:16	1.1.1.4
@@ -27,7 +27,10 @@
  *	Author: David B. Golub, Carnegie Mellon University
  *	Date:	7/90
  */
-#include "mach_kdb.h"
+
+#ifndef _DDB_DB_COMMAND_H_
+#define _DDB_DB_COMMAND_H_
+
 #if MACH_KDB
 
 /*
@@ -37,11 +40,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(const char *, int) __attribute__ ((pure));
 
-extern void		db_error(/* char * */);	/* report error */
+extern void		db_error(const char *) __attribute__ ((noreturn));	/* report error */
 
 extern db_addr_t	db_dot;		/* current location */
 extern db_addr_t	db_last_addr;	/* last explicit address typed */
@@ -51,8 +53,6 @@ extern db_addr_t	db_next;	/* next addres
 					   or written */
 extern jmp_buf_t *	db_recover;	/* error recovery */
 
-extern jmp_buf_t *	db_recover;	/* error recovery */
-
 /*
  * Command table
  */
@@ -67,4 +67,12 @@ 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(void);
+
+void db_help_cmd(void);
+
 #endif /* MACH_KDB */
+
+#endif /* _DDB_DB_COMMAND_H_ */