stop_polling     2069 src/keyboard.c       stop_polling ();
stop_polling     2090 src/keyboard.c       stop_polling ();
stop_polling     2098 src/keyboard.c       stop_polling ();
stop_polling     2248 src/keyboard.c do { if (! polling_stopped_here) stop_polling ();	\
stop_polling     3746 src/keyboard.c           stop_polling ();
stop_polling     11598 src/keyboard.c       stop_polling ();
stop_polling      464 src/keyboard.h extern void stop_polling (void);
stop_polling     7889 src/process.c    stop_polling ();
stop_polling     16482 src/xdisp.c    do { if (! polling_stopped_here) stop_polling ();	\
stop_polling     2019 test/manual/etags/c-src/emacs/src/keyboard.c       stop_polling ();
stop_polling     2038 test/manual/etags/c-src/emacs/src/keyboard.c   stop_polling ();
stop_polling     2167 test/manual/etags/c-src/emacs/src/keyboard.c do { if (! polling_stopped_here) stop_polling ();	\
stop_polling     3655 test/manual/etags/c-src/emacs/src/keyboard.c           stop_polling ();
stop_polling     6858 test/manual/etags/c-src/emacs/src/keyboard.c 	  stop_polling ();
stop_polling     10590 test/manual/etags/c-src/emacs/src/keyboard.c       stop_polling ();