From 8252b9d36cd327a06c3a096ee1175a891d71eb11 Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Mon, 15 May 2017 13:39:24 -0700
Subject: [PATCH] Build fixes

---
 src/target/riscv/riscv-013.c | 3 ---
 src/target/riscv/riscv.h     | 3 +++
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/target/riscv/riscv-013.c b/src/target/riscv/riscv-013.c
index d3c2fd7f7..8aeaab6fb 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 877cc3e99..a51456f28 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. */