tty_flush_winch    84 lib/tty/tty.h  extern void tty_flush_winch (void);
tty_flush_winch   390 lib/widget/dialog-switch.c     tty_flush_winch ();
tty_flush_winch   550 src/execute.c      tty_flush_winch ();