poll_for_input_1  488 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 28211 src/xterm.c        poll_for_input_1 ();