diff options
Diffstat (limited to 'ddb/db_print.h')
-rw-r--r-- | ddb/db_print.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ddb/db_print.h b/ddb/db_print.h index 87db97be..27b3990a 100644 --- a/ddb/db_print.h +++ b/ddb/db_print.h @@ -50,6 +50,12 @@ void db_show_all_threads( db_expr_t count, const char * modif); +void db_show_all_runqs( + db_expr_t addr, + int have_addr, + db_expr_t count, + const char * modif); + db_addr_t db_task_from_space( ipc_space_t space, int *task_id); |