redisplay_internal 1138 src/xdisp.c    static void redisplay_internal (void);
redisplay_internal 12719 src/xdisp.c    	  redisplay_internal ();
redisplay_internal 13249 src/xdisp.c    	      redisplay_internal ();
redisplay_internal 16373 src/xdisp.c      redisplay_internal ();
redisplay_internal 17550 src/xdisp.c          redisplay_internal ();
redisplay_internal 17554 src/xdisp.c        redisplay_internal ();