diff --git a/devicemodel/hw/platform/rtc.c b/devicemodel/hw/platform/rtc.c
index 9965cc71f..b771bec50 100644
--- a/devicemodel/hw/platform/rtc.c
+++ b/devicemodel/hw/platform/rtc.c
@@ -1007,18 +1007,6 @@ vrtc_set_time(struct vrtc *vrtc, time_t secs)
 	return error;
 }
 
-time_t
-vrtc_get_time(struct vrtc *vrtc)
-{
-	time_t basetime;
-	time_t t;
-
-	pthread_mutex_lock(&vrtc->mtx);
-	t = vrtc_curtime(vrtc, &basetime);
-	pthread_mutex_unlock(&vrtc->mtx);
-	return t;
-}
-
 void
 vrtc_reset(struct vrtc *vrtc)
 {
diff --git a/devicemodel/include/rtc.h b/devicemodel/include/rtc.h
index e743e8f59..8af644f59 100644
--- a/devicemodel/include/rtc.h
+++ b/devicemodel/include/rtc.h
@@ -46,7 +46,6 @@ 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);
-time_t vrtc_get_time(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,