kbd_buffer_store_buffered_event 6550 src/gtkutil.c        kbd_buffer_store_buffered_event (&inev, &xg_pending_quit_event);
kbd_buffer_store_buffered_event  477 src/keyboard.h extern void kbd_buffer_store_buffered_event (union buffered_input_event *,
kbd_buffer_store_buffered_event  485 src/keyboard.h   kbd_buffer_store_buffered_event ((union buffered_input_event *) event,
kbd_buffer_store_buffered_event  361 src/pgtkterm.c       kbd_buffer_store_buffered_event (&ev, hold_quit);
kbd_buffer_store_buffered_event 24659 src/xterm.c          kbd_buffer_store_buffered_event (&inev, hold_quit);