fbcon_redraw     1972 drivers/video/fbdev/core/fbcon.c 			fbcon_redraw(vc, p, t, b - t - count,
fbcon_redraw     2061 drivers/video/fbdev/core/fbcon.c 			fbcon_redraw(vc, p, b - 1, b - t - count,