unblock_buffer_flips 1141 src/xdisp.c    static void unblock_buffer_flips (void);
unblock_buffer_flips 17528 src/xdisp.c      unblock_buffer_flips ();
unblock_buffer_flips 17575 src/xdisp.c      unblock_buffer_flips ();