poll_for_input_1  505 src/keyboard.h extern void poll_for_input_1 (void);
poll_for_input_1 7136 src/w32term.c  	    poll_for_input_1 ();
poll_for_input_1 28827 src/xterm.c        poll_for_input_1 ();