1 files changed, 12 insertions, 0 deletions
diff --git a/ddb/db_print.h b/ddb/db_print.h
index 5f7a146..898014e 100644
--- a/ddb/db_print.h
+++ b/ddb/db_print.h
@@ -32,6 +32,18 @@ void db_show_port_id(
 	db_expr_t	count,
 	char *		modif);
 
+void db_show_one_thread(
+	db_expr_t	addr,
+	int		have_addr,
+	db_expr_t	count,
+	char *		modif);
+
+void db_show_all_threads(
+	db_expr_t	addr,
+	int		have_addr,
+	db_expr_t	count,
+	char *		modif);
+
 db_addr_t db_task_from_space(
 	ipc_space_t	space,
 	int		*task_id);