kill_frame_xwidget_views  467 src/pgtkterm.c   kill_frame_xwidget_views (f);
kill_frame_xwidget_views 28507 src/xterm.c          kill_frame_xwidget_views (f);
kill_frame_xwidget_views  214 src/xwidget.h  extern void kill_frame_xwidget_views (struct frame *f);