diff --git a/src/PikaPlatform.c b/src/PikaPlatform.c
index d413a7c9b..c70989545 100644
--- a/src/PikaPlatform.c
+++ b/src/PikaPlatform.c
@@ -114,6 +114,10 @@ PIKA_WEAK int __platform_memcmp(const void* s1, const void* s2, size_t n) {
     return memcmp(s1, s2, n);
 }
 
+PIKA_WEAK void* __platform_memmove(void* s1, void* s2, size_t n) {
+    return memmove(s1, s2, n);
+}
+
 PIKA_WEAK char __platform_getchar(void) {
 #if defined(__linux) || defined(_WIN32)
     return getchar();
diff --git a/src/PikaPlatform.h b/src/PikaPlatform.h
index c248d897a..b4e6a7efa 100644
--- a/src/PikaPlatform.h
+++ b/src/PikaPlatform.h
@@ -138,6 +138,7 @@ void __platform_free(void* ptr);
 void* __platform_memset(void* mem, int ch, size_t size);
 void* __platform_memcpy(void* dir, const void* src, size_t size);
 int __platform_memcmp(const void* s1, const void* s2, size_t n);
+void* __platform_memmove(void* s1, void* s2, size_t n);
 
 void* __user_malloc(size_t size);
 void __user_free(void* ptr, size_t size);