From fccc20ad7abfc5ac2dc50334c013e9679a245a03 Mon Sep 17 00:00:00 2001 From: Palmer Dabbelt Date: Wed, 30 May 2018 01:29:15 -0700 Subject: More debug info --- src/target/riscv/riscv.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/target/riscv/riscv.c b/src/target/riscv/riscv.c index 387b852..efc227b 100644 --- a/src/target/riscv/riscv.c +++ b/src/target/riscv/riscv.c @@ -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; } -- cgit v1.1