Searched refs:vga_video_num_lines (Results 1 – 1 of 1) sorted by relevance
107 static unsigned int vga_video_num_lines; /* Number of text lines */ variable184 vga_video_num_lines = ORIG_VIDEO_LINES; in vgacon_startup()318 vga_video_font_height * vga_video_num_lines; in vgacon_startup()332 c->vc_rows = vga_video_num_lines; in vgacon_init()481 vga_video_num_lines = c->vc_rows; in vgacon_switch()