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 ())