13 static int skip_and_atoi(const char **s)  in skip_and_atoi()  argument
20     while (is_digit(**s))  in skip_and_atoi()
22         ans = ans * 10 + (**s) - '0';  in skip_and_atoi()
23         ++(*s);  in skip_and_atoi()
79     char *str = NULL, *s = NULL;  in vsprintf()  local
227             s = va_arg(args, char *);  in vsprintf()
228             if (!s)  in vsprintf()
229                 s = &__end_zero_char;  in vsprintf()
230             len = strlen(s);  in vsprintf()
252                 *str = *s;  in vsprintf()
253                 ++s;  in vsprintf()