263 VIDEO_DRIVER(vga, vgavidsw, vga_configure);
265 /* VGA BIOS standard video modes */
288     /* VGA */
303     /* VGA */
368     /* VGA */
388 static u_char		*video_mode_ptr = NULL;		/* EGA/VGA */
758 	    adp->va_name = "vga";  in verify_adapter()
908      *     2) MDA + EGA/VGA color   in probe_adapters()
909      *     3) CGA + EGA/VGA mono  in probe_adapters()
917      * The VGA BIOS has more sophisticated mechanism and has this   in probe_adapters()
926      * zeros for EGA and VGA.  However, the EGA/VGA BIOS sets  in probe_adapters()
932 	/* EGA/VGA BIOS is present */  in probe_adapters()
938 	    /* EGA/VGA: shouldn't be happening */  in probe_adapters()
961     /* assume EGA/VGA? XXX */  in probe_adapters()
1024      * This must be done before vga_save_state() for VGA.  in probe_adapters()
1031     /* the video mode parameter table in EGA/VGA BIOS */  in probe_adapters()
1032     /* NOTE: there can be only one EGA/VGA, wheather color or mono,  in probe_adapters()
1181      * is supposed to be standard for EGA mono mode and most VGA text modes,  in probe_adapters()
1503  * EGA/VGA
1615 	/* "unchain" the VGA mode */  in vga_set_mode()
1696     /* setup vga for loading fonts */  in set_font_mode()
1738     /* setup vga for normal operation mode again */  in set_normal_mode()
1786  * EGA/VGA
1866  * EGA/VGA
1946  * EGA/VGA
1973  * VGA
1985      * VGA has 6 bit DAC .  in vga_save_palette()
2019  * VGA
2065  * CGA/EGA/VGA
2092  * NOTE: this function only reads the standard EGA/VGA registers.
2095  * VGA
2174  * NOTE: this function only updates the standard EGA/VGA registers.
2177  * EGA/VGA
3017     printf("vga: RTC equip. code:0x%02x, DCC code:0x%02x\n",  in vga_diag()
3019     printf("vga: CRTC:0x%x, video option:0x%02x, ",  in vga_diag()
3028     printf("vga: param table EGA/VGA:%p", video_mode_ptr);  in vga_diag()
3030     printf("vga: rows_offset:%d\n", rows_offset);  in vga_diag()
3055 	printf("vga%d: %s: WARNING: video mode switching is not "  in vga_diag()
3063 	printf("VGA parameters upon power-up\n");  in vga_diag()
3065 	printf("VGA parameters in BIOS for mode %d\n", adp->va_initial_mode);  in vga_diag()
3072     printf("EGA/VGA parameters to be used for mode %d\n", adp->va_initial_mode);  in vga_diag()