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