| 3385 | } |
| 3386 | |
| 3387 | static int fileno(FILE *stream) |
| 3388 | { |
| 3389 | stdio_lock(stream, -1); |
| 3390 | int result = fileno_unlocked(stream); |
| 3391 | stdio_unlock(stream); |
| 3392 | return result; |
| 3393 | } |
| 3394 | |
| 3395 | static int setvbuf(FILE *stream, char *buf, int mode, size_t size) |
| 3396 | { |