block_buffer_flips 1140 src/xdisp.c    static void block_buffer_flips (void);
block_buffer_flips 16713 src/xdisp.c      block_buffer_flips ();
block_buffer_flips 17542 src/xdisp.c      block_buffer_flips ();