tty_flush_input    93 lib/tty/tty.h  extern int tty_flush_input (void);
tty_flush_input    87 src/execute.c      tty_flush_input ();