1 files changed, 0 insertions, 33 deletions
diff --git a/runtime/copy.c b/runtime/copy.c
index ef5f094d..71f69335 100644
--- a/runtime/copy.c
+++ b/runtime/copy.c
@@ -141,38 +141,5 @@ _stp_copy_from_user (char *dst, const char __user *src, unsigned long count)
 	return __copy_from_user_inatomic(dst, src, count);
 }
 
-/** Copy an argv from user space to a List.
- *
- * @param list A list.
- * @param argv Source argv, in user space.
- * @return number of elements in <i>list</i>
- *
- * @b Example:
- * @include argv.c
- */
-
-int _stp_copy_argv_from_user (MAP list, char __user *__user *argv)
-{
-	char str[128];
-	char __user *vstr;
-	int len;
-
-	if (argv)
-		argv++;
-
-	while (argv != NULL) {
-		if (get_user (vstr, argv))
-			break;
-		
-		if (vstr == NULL)
-			break;
-		
-		len = _stp_strncpy_from_user(str, vstr, 128);
-		str[len] = 0;
-		_stp_list_add_str (list, str);
-		argv++;
-	}
-	return list->num;
-}
 /** @} */
 #endif /* _COPY_C_ */