1 files changed, 17 insertions, 0 deletions
diff --git a/cpukit/score/include/rtems/score/wkspace.h b/cpukit/score/include/rtems/score/wkspace.h
index 89b7c6dfc5..0fc96df6c2 100644
--- a/cpukit/score/include/rtems/score/wkspace.h
+++ b/cpukit/score/include/rtems/score/wkspace.h
@@ -99,6 +99,23 @@ void *_Workspace_Allocate_or_fatal_error(
   size_t  size
 );
 
+/**
+ * @brief Duplicates the @a string with memory from the Workspace.
+ *
+ * If the @a string length exceeds @a maxlen, then the additional characters
+ * will be discarded.
+ *
+ * @param[in] string Pointer to zero terminated string.
+ * @param[in] maxlen Maximum length of the duplicated string.
+ *
+ * @return NULL Not enough memory.
+ * @return other Duplicated string.
+ */
+char *_Workspace_String_duplicate(
+  const char *string,
+  size_t maxlen
+);
+
 #ifndef __RTEMS_APPLICATION__
 #include <rtems/score/wkspace.inl>
 #endif