| 4220 | } |
| 4221 | |
| 4222 | static int printf(const char *format, ...) |
| 4223 | { |
| 4224 | va_list ap; |
| 4225 | va_start(ap, format); |
| 4226 | int result = vfprintf(stdout, format, ap); |
| 4227 | va_end(ap); |
| 4228 | return result; |
| 4229 | } |
| 4230 | |
| 4231 | static int printf_unlocked(const char *format, ...) |
| 4232 | { |