redisplay_internal 1138 src/xdisp.c    static void redisplay_internal (void);
redisplay_internal 12727 src/xdisp.c    	  redisplay_internal ();
redisplay_internal 13257 src/xdisp.c    	      redisplay_internal ();
redisplay_internal 16381 src/xdisp.c      redisplay_internal ();
redisplay_internal 17558 src/xdisp.c          redisplay_internal ();
redisplay_internal 17562 src/xdisp.c        redisplay_internal ();