FLUSH 534 usr/lib/libc/stdio/vfprintf.c FLUSH(); /* copy out the I/O vectors */ FLUSH 537 usr/lib/libc/stdio/vfprintf.c FLUSH();