Symbol: flush_all
usr/src/cmd/awk/run.c
1720
void flush_all(void);
usr/src/cmd/awk/run.c
1807
flush_all(); /* fflush() or fflush("") -> all */