vga_video_num_lines   89 drivers/video/console/vgacon.c static unsigned int	vga_video_num_lines;			/* Number of text lines */
vga_video_num_lines  420 drivers/video/console/vgacon.c 	vga_video_num_lines = screen_info.orig_video_lines;
vga_video_num_lines  566 drivers/video/console/vgacon.c 		    vga_video_font_height * vga_video_num_lines;
vga_video_num_lines  594 drivers/video/console/vgacon.c 		c->vc_rows = vga_video_num_lines;
vga_video_num_lines  596 drivers/video/console/vgacon.c 		vc_resize(c, vga_video_num_columns, vga_video_num_lines);
vga_video_num_lines  849 drivers/video/console/vgacon.c 	vga_video_num_lines = c->vc_rows;
vga_video_num_lines  862 drivers/video/console/vgacon.c 		     vga_video_num_lines <= rows))