1 files changed, 8 insertions, 0 deletions
diff --git a/stubs/replay.c b/stubs/replay.c
index 9c8aa48..04279ab 100644
--- a/stubs/replay.c
+++ b/stubs/replay.c
@@ -72,3 +72,11 @@ uint64_t blkreplay_next_id(void)
 {
     return 0;
 }
+
+void replay_mutex_lock(void)
+{
+}
+
+void replay_mutex_unlock(void)
+{
+}