More debug info

This commit is contained in:
Palmer Dabbelt 2018-05-30 01:29:15 -07:00
parent 3c00bd8ff2
commit fccc20ad7a
1 changed files with 3 additions and 0 deletions

View File

@ -18,6 +18,8 @@
#include "gdb_regs.h"
#include "rtos/rtos.h"
#define RISCV_DEBUG_POLL
/**
* Since almost everything can be accomplish by scanning the dbus register, all
* functions here assume dbus is already selected. The exception are functions
@ -1118,6 +1120,7 @@ int riscv_openocd_halt(struct target *target)
register_cache_invalidate(target->reg_cache);
if (riscv_rtos_enabled(target)) {
LOG_DEBUG(" current RTOS hartid is %d", r->rtos_hartid);
target->rtos->current_threadid = r->rtos_hartid + 1;
target->rtos->current_thread = r->rtos_hartid + 1;
}