| 3511 | } |
| 3512 | |
| 3513 | static int fputs(const char *s, FILE *stream) |
| 3514 | { |
| 3515 | stdio_lock(stream, EOF); |
| 3516 | int result = fputs_unlocked(s, stream); |
| 3517 | stdio_unlock(stream); |
| 3518 | return result; |
| 3519 | } |
| 3520 | |
| 3521 | static int putc(int c, FILE *stream) |
| 3522 | { |