Symbol: xxflush
usr.bin/window/wwflush.c
58
xxflush(0);
usr.bin/window/wwflush.c
61
xxflush(1);
usr.bin/window/wwwrite.c
258
xxflush(0);
usr.bin/window/xx.c
253
xxflush(0);
usr.bin/window/xx.h
66
void xxflush(int);