unblock_buffer_flips 1141 src/xdisp.c    static void unblock_buffer_flips (void);
unblock_buffer_flips 17372 src/xdisp.c      unblock_buffer_flips ();
unblock_buffer_flips 17419 src/xdisp.c      unblock_buffer_flips ();