w32_flip_buffers_if_dirty  926 src/minibuf.c        w32_flip_buffers_if_dirty (XFRAME (XWINDOW (minibuf_window)->frame));
w32_flip_buffers_if_dirty  901 src/w32term.h  extern void w32_flip_buffers_if_dirty (struct frame *);