Searched refs:vga_video_font_height (Results 1 – 1 of 1) sorted by relevance
112 static int vga_video_font_height; variable430 vga_video_font_height = 14; in vgacon_startup()502 vga_video_font_height = 8; in vgacon_startup()538 vga_video_font_height = screen_info.orig_video_points; in vgacon_startup()541 vga_video_font_height * vga_video_num_lines; in vgacon_startup()574 c->vc_font.height = vga_video_font_height; in vgacon_init()1252 vga_video_font_height = fontheight; in vgacon_adjust_height()