| 3170 | } |
| 3171 | |
| 3172 | static int fflush(FILE *stream) |
| 3173 | { |
| 3174 | if (stream == NULL) |
| 3175 | panic("fflush(NULL) not supported"); |
| 3176 | stdio_lock(stream, EOF); |
| 3177 | int result = fflush_unlocked(stream); |
| 3178 | stdio_unlock(stream); |
| 3179 | return result; |
| 3180 | } |
| 3181 | |
| 3182 | static int stdio_stream_read_init(FILE *stream) |
| 3183 | { |