vga_default_font_height 91 drivers/video/console/vgacon.c static unsigned int vga_default_font_height __read_mostly; /* Height of default screen font */ vga_default_font_height 562 drivers/video/console/vgacon.c vga_default_font_height = screen_info.orig_video_points; vga_default_font_height 841 drivers/video/console/vgacon.c int rows = screen_info.orig_video_lines * vga_default_font_height/ vga_default_font_height 1323 drivers/video/console/vgacon.c height > (screen_info.orig_video_lines * vga_default_font_height)/