block_buffer_flips 1140 src/xdisp.c    static void block_buffer_flips (void);
block_buffer_flips 16721 src/xdisp.c      block_buffer_flips ();
block_buffer_flips 17550 src/xdisp.c      block_buffer_flips ();