block_buffer_flips 1140 src/xdisp.c    static void block_buffer_flips (void);
block_buffer_flips 16565 src/xdisp.c      block_buffer_flips ();
block_buffer_flips 17394 src/xdisp.c      block_buffer_flips ();