vga_video_font_height   98 drivers/video/console/vgacon.c static int 		vga_video_font_height;
vga_video_font_height  458 drivers/video/console/vgacon.c 			vga_video_font_height = 14;
vga_video_font_height  527 drivers/video/console/vgacon.c 			vga_video_font_height = 8;
vga_video_font_height  563 drivers/video/console/vgacon.c 		vga_video_font_height = screen_info.orig_video_points;
vga_video_font_height  566 drivers/video/console/vgacon.c 		    vga_video_font_height * vga_video_num_lines;
vga_video_font_height  599 drivers/video/console/vgacon.c 	c->vc_font.height = vga_video_font_height;
vga_video_font_height 1262 drivers/video/console/vgacon.c 	vga_video_font_height = fontheight;