redraw_down      1988 drivers/video/fbdev/core/fbcon.c 			goto redraw_down;
redraw_down      2016 drivers/video/fbdev/core/fbcon.c 				goto redraw_down;
redraw_down      2038 drivers/video/fbdev/core/fbcon.c 				goto redraw_down;
redraw_down      2060 drivers/video/fbdev/core/fbcon.c 		      redraw_down: