Flush icache when using swbps and report to gdb.

1 files changed, 2 insertions, 2 deletions

diff --git a/riscv/execute.cc b/riscv/execute.cc
index 4bfaf4a..c36cb4f 100644
--- a/riscv/execute.cc
+++ b/riscv/execute.cc
@@ -56,7 +56,7 @@ void processor_t::step(size_t n)
   // TODO: We should really not call this function at all when halted, to avoid
   // burning CPU.
   if (single_step) {
-    halted = false;
+    set_halted(false, HR_NONE);
     n = 1;
   }
 
@@ -136,6 +136,6 @@ miss:
 
   if (single_step) {
     single_step = false;
-    halted = true;
+    set_halted(true, HR_STEPPED);
   }
 }