94 static int		vga_init_done		__read_mostly;  variable
95 static unsigned long	vga_vram_base		__read_mostly;	/* Base of video memory */  variable
96 static unsigned long	vga_vram_end		__read_mostly;	/* End of video memory */  variable
97 static unsigned int	vga_vram_size		__read_mostly;	/* Size of video memory */  variable
98 static u16		vga_video_port_reg	__read_mostly;	/* Video register select port */  variable
99 static u16		vga_video_port_val	__read_mostly;	/* Video register value port */  variable
102 static int		vga_can_do_color	__read_mostly;	/* Do we support colors? */  variable
103 static unsigned int	vga_default_font_height __read_mostly;	/* Height of default screen font */  variable
104 static unsigned char	vga_video_type		__read_mostly;	/* Card type */  variable
105 static unsigned char	vga_hardscroll_enabled	__read_mostly;  variable
106 static unsigned char	vga_hardscroll_user_enable __read_mostly = 1;  variable
113 static int 		vga_scan_lines		__read_mostly;  variable