2 files changed, 3 insertions, 3 deletions
diff --git a/src/target/riscv/riscv-013.c b/src/target/riscv/riscv-013.c
index d3c2fd7..8aeaab6 100644
--- a/src/target/riscv/riscv-013.c
+++ b/src/target/riscv/riscv-013.c
@@ -1853,8 +1853,6 @@ int riscv013_dmi_write_u64_bits(struct target *target)
 
 void riscv013_reset_current_hart(struct target *target)
 {
-  RISCV_INFO(r);
-
   select_dmi(target);
   uint32_t control = dmi_read(target, DMI_DMCONTROL);
   control = set_field(control, DMI_DMCONTROL_NDMRESET, 1);
@@ -1868,7 +1866,6 @@ void riscv013_reset_current_hart(struct target *target)
 
   control = set_field(control, DMI_DMCONTROL_HALTREQ, 0);
   dmi_write(target, DMI_DMCONTROL, control);
-
 }
 
 /* Helper Functions. */
diff --git a/src/target/riscv/riscv.h b/src/target/riscv/riscv.h
index 877cc3e..a51456f 100644
--- a/src/target/riscv/riscv.h
+++ b/src/target/riscv/riscv.h
@@ -127,6 +127,9 @@ int riscv_openocd_step(
 	int handle_breakpoints
 );
 
+int riscv_openocd_assert_reset(struct target *target);
+int riscv_openocd_deassert_reset(struct target *target);
+
 /*** RISC-V Interface ***/
 
 /* Initializes the shared RISC-V structure. */