diff options
Diffstat (limited to 'ddb/db_print.h')
| -rw-r--r-- | ddb/db_print.h | 5 |
1 files changed, 5 insertions, 0 deletions
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_ */ |