input_polling_used  484 src/keyboard.h extern bool input_polling_used (void);
input_polling_used 7130 src/w32term.c  	if (input_polling_used ())