Searched refs:vga_video_font_height (Results 1 – 1 of 1) sorted by relevance
98 static int vga_video_font_height; variable458 vga_video_font_height = 14; in vgacon_startup()527 vga_video_font_height = 8; in vgacon_startup()563 vga_video_font_height = screen_info.orig_video_points; in vgacon_startup()566 vga_video_font_height * vga_video_num_lines; in vgacon_startup()599 c->vc_font.height = vga_video_font_height; in vgacon_init()1262 vga_video_font_height = fontheight; in vgacon_adjust_height()
