| 3474 | } |
| 3475 | |
| 3476 | static int fputc(int c, FILE *stream) |
| 3477 | { |
| 3478 | stdio_lock(stream, EOF); |
| 3479 | int result = fputc_unlocked(c, stream); |
| 3480 | stdio_unlock(stream); |
| 3481 | return result; |
| 3482 | } |
| 3483 | |
| 3484 | static int fputs_unlocked(const char *s, FILE *stream) |
| 3485 | { |