stop_polling     2099 src/keyboard.c       stop_polling ();
stop_polling     2120 src/keyboard.c       stop_polling ();
stop_polling     2128 src/keyboard.c       stop_polling ();
stop_polling     2278 src/keyboard.c do { if (! polling_stopped_here) stop_polling ();	\
stop_polling     3782 src/keyboard.c           stop_polling ();
stop_polling     12137 src/keyboard.c       stop_polling ();
stop_polling      481 src/keyboard.h extern void stop_polling (void);
stop_polling     7917 src/process.c    stop_polling ();
stop_polling     16629 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 ();