unblock_buffer_flips 1141 src/xdisp.c    static void unblock_buffer_flips (void);
unblock_buffer_flips 17520 src/xdisp.c      unblock_buffer_flips ();
unblock_buffer_flips 17567 src/xdisp.c      unblock_buffer_flips ();