int fflush(FILE *f) { if (!f) { int r = __stdout_used ? fflush(__stdout_used) : 0; for (f=*__ofl_lock(); f; f=f->next) if (f->wpos > f->wbase) r |= fflush(f); __ofl_unlock(); return r; } FLOCK(f); /* If writing, flush output */ if (f->wpos > f->wbase) { f->write(f, 0, 0); if (!f->wpos) { FUNLOCK(f); return EOF; } } /* If reading, sync position, per POSIX */ if (f->rpos < f->rend) f->seek(f, f->rpos-f->rend, SEEK_CUR); /* Clear read and write modes */ f->wpos = f->wbase = f->wend = 0; f->rpos = f->rend = 0; FUNLOCK(f); return 0; }
void __stdio_exit(void) { FILE *f; for (f=*__ofl_lock(); f; f=f->next) close_file(f); close_file(__stdin_used); close_file(__stdout_used); }
FILE *__ofl_add(FILE *f) { FILE **head = __ofl_lock(); f->next = *head; if (*head) (*head)->prev = f; *head = f; __ofl_unlock(); return f; }
int fflush(FILE* f) { int r; if (f) { FLOCK(f); r = __fflush_unlocked(f); FUNLOCK(f); return r; } r = fflush(stdout); for (f = *__ofl_lock(); f; f = f->next) { FLOCK(f); if (f->wpos > f->wbase) r |= __fflush_unlocked(f); FUNLOCK(f); } __ofl_unlock(); return r; }