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