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)/