11 char *strcpy(char *dst, const char *src)  in strcpy()  argument
13     while (*src)  in strcpy()
15         *(dst++) = *(src++);  in strcpy()
22 long strnlen(const char *src, unsigned long maxlen)  in strnlen()  argument
25     if (src == NULL)  in strnlen()
28     while (src[__res] != '\0' && __res < maxlen)  in strnlen()
65 char *strncpy(char *dst, const char *src, long count)  in strncpy()  argument
79                          : "S"(src), "D"(dst), "c"(count)  in strncpy()
84 long strncpy_from_user(char *dst, const char *src, unsigned long size)  in strncpy_from_user()  argument
86     if (!verify_area((uint64_t)src, size))  in strncpy_from_user()
89     strncpy(dst, src, size);  in strncpy_from_user()
99 long strnlen_user(const char *src, unsigned long maxlen)  in strnlen_user()  argument
102     unsigned long size = strlen(src);  in strnlen_user()
104     if (!verify_area((uint64_t)src, size))  in strnlen_user()
117 char *strcat(char *dest, const char *src)  in strcat()  argument
119     strcpy(dest + strlen(dest), src);  in strcat()