diff --git a/devicemodel/hw/platform/rtc.c b/devicemodel/hw/platform/rtc.c
index b771bec50..17d7cdc97 100644
--- a/devicemodel/hw/platform/rtc.c
+++ b/devicemodel/hw/platform/rtc.c
@@ -1007,20 +1007,6 @@ vrtc_set_time(struct vrtc *vrtc, time_t secs)
 	return error;
 }
 
-void
-vrtc_reset(struct vrtc *vrtc)
-{
-	struct rtcdev *rtc;
-
-	pthread_mutex_lock(&vrtc->mtx);
-
-	rtc = &vrtc->rtcdev;
-	vrtc_set_reg_b(vrtc, rtc->reg_b & ~(RTCSB_ALL_INTRS | RTCSB_SQWE));
-	vrtc_set_reg_c(vrtc, 0);
-
-	pthread_mutex_unlock(&vrtc->mtx);
-}
-
 int
 vrtc_init(struct vmctx *ctx)
 {
diff --git a/devicemodel/include/rtc.h b/devicemodel/include/rtc.h
index 8af644f59..218650517 100644
--- a/devicemodel/include/rtc.h
+++ b/devicemodel/include/rtc.h
@@ -45,7 +45,6 @@ struct vmctx;
 int vrtc_init(struct vmctx *ctx);
 void vrtc_enable_localtime(int l_time);
 void vrtc_deinit(struct vmctx *ctx);
-void vrtc_reset(struct vrtc *vrtc);
 int vrtc_set_time(struct vrtc *vrtc, time_t secs);
 int vrtc_nvram_write(struct vrtc *vrtc, int offset, uint8_t value);
 int vrtc_addr_handler(struct vmctx *ctx, int vcpu, int in, int port,