kbd_buffer_events_waiting  512 src/keyboard.h extern bool kbd_buffer_events_waiting (void);
kbd_buffer_events_waiting 3258 src/msdos.c      if (!kbd_buffer_events_waiting ())
kbd_buffer_events_waiting 3459 src/term.c       if (!kbd_buffer_events_waiting ())