kbd_buffer_store_buffered_event 1032 src/androidterm.c 	      kbd_buffer_store_buffered_event (&inev, hold_quit);
kbd_buffer_store_buffered_event 1702 src/androidterm.c       kbd_buffer_store_buffered_event (&inev, hold_quit);
kbd_buffer_store_buffered_event 6550 src/gtkutil.c        kbd_buffer_store_buffered_event (&inev, &xg_pending_quit_event);
kbd_buffer_store_buffered_event  494 src/keyboard.h extern void kbd_buffer_store_buffered_event (union buffered_input_event *,
kbd_buffer_store_buffered_event  502 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 25367 src/xterm.c          kbd_buffer_store_buffered_event (&inev, hold_quit);