redisplay_internal 1138 src/xdisp.c    static void redisplay_internal (void);
redisplay_internal 12692 src/xdisp.c    	  redisplay_internal ();
redisplay_internal 13222 src/xdisp.c    	      redisplay_internal ();
redisplay_internal 16226 src/xdisp.c      redisplay_internal ();
redisplay_internal 17402 src/xdisp.c          redisplay_internal ();
redisplay_internal 17406 src/xdisp.c        redisplay_internal ();