1 files changed, 15 insertions, 0 deletions
diff --git a/stubs/replay.c b/stubs/replay.c
index 5974ec1f50..45ebe77fb9 100644
--- a/stubs/replay.c
+++ b/stubs/replay.c
@@ -88,3 +88,18 @@ int replay_read_random(void *buf, size_t len)
 {
     return 0;
 }
+
+uint64_t replay_get_current_icount(void)
+{
+    return 0;
+}
+
+bool replay_reverse_step(void)
+{
+    return false;
+}
+
+bool replay_reverse_continue(void)
+{
+    return false;
+}