12 static int skip_and_atoi(const char **s)  in skip_and_atoi()  argument
19     while (is_digit(**s))  in skip_and_atoi()
21         ans = ans * 10 + (**s) - '0';  in skip_and_atoi()
22         ++(*s);  in skip_and_atoi()
77     char *str = NULL, *s = NULL;  in vsprintf()  local
225             s = va_arg(args, char *);  in vsprintf()
226             if (!s)  in vsprintf()
227                 s = &__end_zero_char;  in vsprintf()
228             len = strlen(s);  in vsprintf()
250                 *str = *s;  in vsprintf()
251                 ++s;  in vsprintf()