RESUME_POLLING   3027 src/keyboard.c   RESUME_POLLING;
RESUME_POLLING   3347 src/keyboard.c   RESUME_POLLING;
RESUME_POLLING   17457 src/xdisp.c      RESUME_POLLING;
RESUME_POLLING   17522 src/xdisp.c      RESUME_POLLING;
RESUME_POLLING   2892 test/manual/etags/c-src/emacs/src/keyboard.c   RESUME_POLLING;
RESUME_POLLING   3216 test/manual/etags/c-src/emacs/src/keyboard.c   RESUME_POLLING;