From 42bdb9e4fea494b85b394dd99d1686e812eb8a28 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 1 Oct 2023 03:03:13 +0200
Subject: ddb: Add whatis command

This is convenient when tracking buffer overflows
---
 ddb/db_print.h | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'ddb/db_print.h')

diff --git a/ddb/db_print.h b/ddb/db_print.h
index 27b3990a..b86c6966 100644
--- a/ddb/db_print.h
+++ b/ddb/db_print.h
@@ -60,4 +60,9 @@ db_addr_t db_task_from_space(
 	ipc_space_t	space,
 	int		*task_id);
 
+void db_print_thread(
+	thread_t thread,
+	int	 thread_id,
+	int	 flag);
+
 #endif	/* !_DDB_DB_PRINT_H_ */
-- 
cgit v1.2.3