Searched refs:vga_video_num_lines (Results 1 – 1 of 1) sorted by relevance
88 static unsigned int vga_video_num_lines; /* Number of text lines */ variable209 vga_video_num_lines = screen_info.orig_video_lines; in vgacon_startup()355 vga_video_font_height * vga_video_num_lines; in vgacon_startup()378 c->vc_rows = vga_video_num_lines; in vgacon_init()380 vc_resize(c, vga_video_num_columns, vga_video_num_lines); in vgacon_init()635 vga_video_num_lines = c->vc_rows; in vgacon_switch()648 vga_video_num_lines <= rows)) in vgacon_switch()
