Searched refs:vga_video_font_height (Results 1 – 1 of 1) sorted by relevance
98 static int vga_video_font_height; variable457 vga_video_font_height = 14; in vgacon_startup()526 vga_video_font_height = 8; in vgacon_startup()562 vga_video_font_height = screen_info.orig_video_points; in vgacon_startup()565 vga_video_font_height * vga_video_num_lines; in vgacon_startup()598 c->vc_font.height = vga_video_font_height; in vgacon_init()1261 vga_video_font_height = fontheight; in vgacon_adjust_height()
