#include <ddb/db_break.h>
#include <ddb/db_command.h>
#include <ddb/db_examine.h>
-#include <ddb/db_output.h> /* For db_printf() */
+#include <ddb/db_output.h> /* For db_printf() */
#include <ddb/db_run.h>
#include <ddb/db_task_thread.h>
#include <ddb/db_trap.h>
* but print symbols using a (task-specific) symbol table, found
* using task.
*/
-
- /* Elided since walking the thread/task lists before setting up
- * safe recovery points is incorrect, and could
- * potentially cause us to loop and fault indefinitely.
- */
-#if 0
db_init_default_act();
-#endif
db_check_breakpoint_valid();
-
if (db_stop_at_pc(&bkpt, task, task_space)) {
if (db_inst_count) {
db_printf("After %d instructions (%d loads, %d stores),\n",