set_poll_suppress_count 1240 src/eval.c       set_poll_suppress_count (catch->poll_suppress_count);
set_poll_suppress_count  465 src/keyboard.h extern void set_poll_suppress_count (int);