Symbol: rbflush
usr/src/cmd/vi/port/ex.h
522
void rbflush(void);
usr/src/cmd/vi/port/ex_temp.c
696
rbflush();
usr/src/cmd/vi/port/ex_temp.c
725
rbflush();