xref: /dragonfly/sys/dev/video/fb/vga.c (revision 25a2db75)
1 /*-
2  * (MPSAFE ?)
3  *
4  * Copyright (c) 1999 Kazutaka YOKOTA <yokota@zodiac.mech.utsunomiya-u.ac.jp>
5  * Copyright (c) 1992-1998 S�ren Schmidt
6  * All rights reserved.
7  *
8  * Redistribution and use in source and binary forms, with or without
9  * modification, are permitted provided that the following conditions
10  * are met:
11  * 1. Redistributions of source code must retain the above copyright
12  *    notice, this list of conditions and the following disclaimer as
13  *    the first lines of this file unmodified.
14  * 2. Redistributions in binary form must reproduce the above copyright
15  *    notice, this list of conditions and the following disclaimer in the
16  *    documentation and/or other materials provided with the distribution.
17  * 3. The name of the author may not be used to endorse or promote products
18  *    derived from this software without specific prior written permission.
19  *
20  * THIS SOFTWARE IS PROVIDED BY THE AUTHORS ``AS IS'' AND ANY EXPRESS OR
21  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
22  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
23  * IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY DIRECT, INDIRECT,
24  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
25  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
26  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
27  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
28  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
29  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
30  *
31  * $FreeBSD: src/sys/dev/fb/vga.c,v 1.9.2.1 2001/08/11 02:58:44 yokota Exp $
32  */
33 
34 #include "opt_vga.h"
35 #include "opt_fb.h"
36 
37 #include <sys/param.h>
38 #include <sys/systm.h>
39 #include <sys/kernel.h>
40 #include <sys/conf.h>
41 #include <sys/fcntl.h>
42 #include <sys/malloc.h>
43 #include <sys/fbio.h>
44 #include <sys/thread2.h>
45 
46 #include <bus/isa/isareg.h>
47 
48 #include <machine/clock.h>
49 #include <machine/md_var.h>
50 #ifdef __i386__
51 #include <machine/pc/bios.h>
52 #endif
53 
54 #include <vm/vm.h>
55 #include <vm/vm_param.h>
56 #include <vm/pmap.h>
57 
58 #include "fbreg.h"
59 #include "vgareg.h"
60 
61 #ifndef VGA_DEBUG
62 #define VGA_DEBUG		0
63 #endif
64 
65 /* machine/pc/bios.h has got too much i386-specific stuff in it */
66 #ifndef BIOS_PADDRTOVADDR
67 #define BIOS_PADDRTOVADDR(x) (((x) - ISA_HOLE_START) + atdevbase)
68 #endif
69 int
70 vga_probe_unit(int unit, video_adapter_t *buf, int flags)
71 {
72 	video_adapter_t *adp;
73 	video_switch_t *sw;
74 	int error;
75 
76 	sw = vid_get_switch(VGA_DRIVER_NAME);
77 	if (sw == NULL)
78 		return 0;
79 	error = (*sw->probe)(unit, &adp, NULL, flags);
80 	if (error)
81 		return error;
82 	bcopy(adp, buf, sizeof(*buf));
83 	return 0;
84 }
85 
86 int
87 vga_attach_unit(int unit, vga_softc_t *sc, int flags)
88 {
89 	video_switch_t *sw;
90 	int error;
91 
92 	sw = vid_get_switch(VGA_DRIVER_NAME);
93 	if (sw == NULL)
94 		return ENXIO;
95 
96 	error = (*sw->probe)(unit, &sc->adp, NULL, flags);
97 	if (error)
98 		return error;
99 	return (*sw->init)(unit, sc->adp, flags);
100 }
101 
102 /* cdev driver functions */
103 
104 #ifdef FB_INSTALL_CDEV
105 
106 struct ucred;
107 
108 int
109 vga_open(cdev_t dev, vga_softc_t *sc, int flag, int mode, struct ucred *cred)
110 {
111 	if (sc == NULL)
112 		return ENXIO;
113 	if (mode & (O_CREAT | O_APPEND | O_TRUNC))
114 		return ENODEV;
115 
116 	return genfbopen(&sc->gensc, sc->adp, flag, mode, cred);
117 }
118 
119 int
120 vga_close(cdev_t dev, vga_softc_t *sc, int flag, int mode)
121 {
122 	return genfbclose(&sc->gensc, sc->adp, flag, mode);
123 }
124 
125 int
126 vga_read(cdev_t dev, vga_softc_t *sc, struct uio *uio, int flag)
127 {
128 	return genfbread(&sc->gensc, sc->adp, uio, flag);
129 }
130 
131 int
132 vga_write(cdev_t dev, vga_softc_t *sc, struct uio *uio, int flag)
133 {
134 	return genfbread(&sc->gensc, sc->adp, uio, flag);
135 }
136 
137 int
138 vga_ioctl(cdev_t dev, vga_softc_t *sc, u_long cmd, caddr_t arg, int flag,
139 	  struct ucred *cred)
140 {
141 	return genfbioctl(&sc->gensc, sc->adp, cmd, arg, flag, cred);
142 }
143 
144 int
145 vga_mmap(cdev_t dev, vga_softc_t *sc, vm_offset_t offset, int prot)
146 {
147 	return genfbmmap(&sc->gensc, sc->adp, offset, prot);
148 }
149 
150 #endif /* FB_INSTALL_CDEV */
151 
152 /* LOW-LEVEL */
153 
154 #define probe_done(adp)		((adp)->va_flags & V_ADP_PROBED)
155 #define init_done(adp)		((adp)->va_flags & V_ADP_INITIALIZED)
156 #define config_done(adp)	((adp)->va_flags & V_ADP_REGISTERED)
157 
158 /* various sizes */
159 #define V_MODE_MAP_SIZE		(M_VGA_CG320 + 1)
160 #define V_MODE_PARAM_SIZE	64
161 
162 /* video adapter state buffer */
163 struct adp_state {
164     int			sig;
165 #define V_STATE_SIG	0x736f6962
166     u_char		regs[V_MODE_PARAM_SIZE];
167 };
168 typedef struct adp_state adp_state_t;
169 
170 /*
171  * NOTE: `va_window' should have a virtual address, but is initialized
172  * with a physical address in the following table, as verify_adapter()
173  * will perform address conversion at run-time.
174  */
175 static video_adapter_t biosadapter = {
176     0, KD_VGA, VGA_DRIVER_NAME, 0, 0, V_ADP_COLOR, IO_VGA, 32,
177     EGA_BUF_BASE, EGA_BUF_SIZE, CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE,
178     0, 0, 0, M_VGA_C80x25, M_C80x25, M_VGA_C80x25
179 };
180 
181 /* video driver declarations */
182 static int			vga_configure(int flags);
183        int			(*vga_sub_configure)(int flags);
184 #if 0
185 static int			vga_nop(void);
186 #endif
187 static int			vga_error(void);
188 static vi_probe_t		vga_probe;
189 static vi_init_t		vga_init;
190 static vi_get_info_t		vga_get_info;
191 static vi_query_mode_t		vga_query_mode;
192 static vi_set_mode_t		vga_set_mode;
193 static vi_save_font_t		vga_save_font;
194 static vi_load_font_t		vga_load_font;
195 static vi_show_font_t		vga_show_font;
196 static vi_save_palette_t	vga_save_palette;
197 static vi_load_palette_t	vga_load_palette;
198 static vi_set_border_t		vga_set_border;
199 static vi_save_state_t		vga_save_state;
200 static vi_load_state_t		vga_load_state;
201 static vi_set_win_org_t		vga_set_origin;
202 static vi_read_hw_cursor_t	vga_read_hw_cursor;
203 static vi_set_hw_cursor_t	vga_set_hw_cursor;
204 static vi_set_hw_cursor_shape_t	vga_set_hw_cursor_shape;
205 static vi_blank_display_t	vga_blank_display;
206 static vi_mmap_t		vga_mmap_buf;
207 static vi_ioctl_t		vga_dev_ioctl;
208 #ifndef VGA_NO_MODE_CHANGE
209 static vi_clear_t		vga_clear;
210 static vi_fill_rect_t		vga_fill_rect;
211 static vi_bitblt_t		vga_bitblt;
212 #else /* VGA_NO_MODE_CHANGE */
213 #define vga_clear		(vi_clear_t *)vga_error
214 #define vga_fill_rect		(vi_fill_rect_t *)vga_error
215 #define vga_bitblt		(vi_bitblt_t *)vga_error
216 #endif
217 static vi_diag_t		vga_diag;
218 
219 static video_switch_t vgavidsw = {
220 	vga_probe,
221 	vga_init,
222 	vga_get_info,
223 	vga_query_mode,
224 	vga_set_mode,
225 	vga_save_font,
226 	vga_load_font,
227 	vga_show_font,
228 	vga_save_palette,
229 	vga_load_palette,
230 	vga_set_border,
231 	vga_save_state,
232 	vga_load_state,
233 	vga_set_origin,
234 	vga_read_hw_cursor,
235 	vga_set_hw_cursor,
236 	vga_set_hw_cursor_shape,
237 	vga_blank_display,
238 	vga_mmap_buf,
239 	vga_dev_ioctl,
240 	vga_clear,
241 	vga_fill_rect,
242 	vga_bitblt,
243 	vga_error,
244 	vga_error,
245 	vga_diag,
246 };
247 
248 VIDEO_DRIVER(vga, vgavidsw, vga_configure);
249 
250 /* VGA BIOS standard video modes */
251 #define EOT		(-1)
252 #define NA		(-2)
253 
254 static video_info_t bios_vmode[] = {
255     /* CGA */
256     { M_B40x25,     V_INFO_COLOR, 40, 25, 8,  8, 2, 1,
257       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
258     { M_C40x25,     V_INFO_COLOR, 40, 25, 8,  8, 4, 1,
259       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
260     { M_B80x25,     V_INFO_COLOR, 80, 25, 8,  8, 2, 1,
261       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
262     { M_C80x25,     V_INFO_COLOR, 80, 25, 8,  8, 4, 1,
263       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
264     /* EGA */
265     { M_ENH_B40x25, V_INFO_COLOR, 40, 25, 8, 14, 2, 1,
266       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
267     { M_ENH_C40x25, V_INFO_COLOR, 40, 25, 8, 14, 4, 1,
268       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
269     { M_ENH_B80x25, V_INFO_COLOR, 80, 25, 8, 14, 2, 1,
270       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
271     { M_ENH_C80x25, V_INFO_COLOR, 80, 25, 8, 14, 4, 1,
272       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
273     /* VGA */
274     { M_VGA_C40x25, V_INFO_COLOR, 40, 25, 8, 16, 4, 1,
275       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
276     { M_VGA_M80x25, 0,            80, 25, 8, 16, 2, 1,
277       MDA_BUF_BASE, MDA_BUF_SIZE, MDA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
278     { M_VGA_C80x25, V_INFO_COLOR, 80, 25, 8, 16, 4, 1,
279       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
280     /* MDA */
281     { M_EGAMONO80x25, 0,          80, 25, 8, 14, 2, 1,
282       MDA_BUF_BASE, MDA_BUF_SIZE, MDA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
283     /* EGA */
284     { M_ENH_B80x43, 0,            80, 43, 8,  8, 2, 1,
285       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
286     { M_ENH_C80x43, V_INFO_COLOR, 80, 43, 8,  8, 4, 1,
287       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
288     /* VGA */
289     { M_VGA_M80x30, 0,            80, 30, 8, 16, 2, 1,
290       MDA_BUF_BASE, MDA_BUF_SIZE, MDA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
291     { M_VGA_C80x30, V_INFO_COLOR, 80, 30, 8, 16, 4, 1,
292       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
293     { M_VGA_M80x50, 0,            80, 50, 8,  8, 2, 1,
294       MDA_BUF_BASE, MDA_BUF_SIZE, MDA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
295     { M_VGA_C80x50, V_INFO_COLOR, 80, 50, 8,  8, 4, 1,
296       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
297     { M_VGA_M80x60, 0,            80, 60, 8,  8, 2, 1,
298       MDA_BUF_BASE, MDA_BUF_SIZE, MDA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
299     { M_VGA_C80x60, V_INFO_COLOR, 80, 60, 8,  8, 4, 1,
300       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
301 
302 #ifndef VGA_NO_MODE_CHANGE
303 
304 #ifdef VGA_WIDTH90
305     { M_VGA_M90x25, 0,            90, 25, 8, 16, 2, 1,
306       MDA_BUF_BASE, MDA_BUF_SIZE, MDA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
307     { M_VGA_C90x25, V_INFO_COLOR, 90, 25, 8, 16, 4, 1,
308       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
309     { M_VGA_M90x30, 0,            90, 30, 8, 16, 2, 1,
310       MDA_BUF_BASE, MDA_BUF_SIZE, MDA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
311     { M_VGA_C90x30, V_INFO_COLOR, 90, 30, 8, 16, 4, 1,
312       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
313     { M_VGA_M90x43, 0,            90, 43, 8,  8, 2, 1,
314       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
315     { M_VGA_C90x43, V_INFO_COLOR, 90, 43, 8,  8, 4, 1,
316       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
317     { M_VGA_M90x50, 0,            90, 50, 8,  8, 2, 1,
318       MDA_BUF_BASE, MDA_BUF_SIZE, MDA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
319     { M_VGA_C90x50, V_INFO_COLOR, 90, 50, 8,  8, 4, 1,
320       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
321     { M_VGA_M90x60, 0,            90, 60, 8,  8, 2, 1,
322       MDA_BUF_BASE, MDA_BUF_SIZE, MDA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
323     { M_VGA_C90x60, V_INFO_COLOR, 90, 60, 8,  8, 4, 1,
324       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_TEXT },
325 #endif /* VGA_WIDTH90 */
326 
327     /* CGA */
328     { M_BG320,      V_INFO_COLOR | V_INFO_GRAPHICS, 320, 200, 8,  8, 2, 1,
329       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_CGA },
330     { M_CG320,      V_INFO_COLOR | V_INFO_GRAPHICS, 320, 200, 8,  8, 2, 1,
331       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_CGA },
332     { M_BG640,      V_INFO_COLOR | V_INFO_GRAPHICS, 640, 200, 8,  8, 1, 1,
333       CGA_BUF_BASE, CGA_BUF_SIZE, CGA_BUF_SIZE, 0, 0, V_INFO_MM_CGA },
334     /* EGA */
335     { M_CG320_D,    V_INFO_COLOR | V_INFO_GRAPHICS, 320, 200, 8,  8, 4, 4,
336       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, GRAPHICS_BUF_SIZE, 0, 0,
337       V_INFO_MM_PLANAR },
338     { M_CG640_E,    V_INFO_COLOR | V_INFO_GRAPHICS, 640, 200, 8,  8, 4, 4,
339       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, GRAPHICS_BUF_SIZE, 0, 0 ,
340       V_INFO_MM_PLANAR },
341     { M_EGAMONOAPA, V_INFO_GRAPHICS,                640, 350, 8, 14, 4, 4,
342       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, 64*1024, 0, 0 ,
343       V_INFO_MM_PLANAR },
344     { M_ENHMONOAPA2,V_INFO_GRAPHICS,                640, 350, 8, 14, 4, 4,
345       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, GRAPHICS_BUF_SIZE, 0, 0 ,
346       V_INFO_MM_PLANAR },
347     { M_CG640x350,  V_INFO_COLOR | V_INFO_GRAPHICS, 640, 350, 8, 14, 2, 2,
348       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, GRAPHICS_BUF_SIZE, 0, 0 ,
349       V_INFO_MM_PLANAR },
350     { M_ENH_CG640,  V_INFO_COLOR | V_INFO_GRAPHICS, 640, 350, 8, 14, 4, 4,
351       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, GRAPHICS_BUF_SIZE, 0, 0 ,
352       V_INFO_MM_PLANAR },
353     /* VGA */
354     { M_BG640x480,  V_INFO_COLOR | V_INFO_GRAPHICS, 640, 480, 8, 16, 4, 4,
355       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, GRAPHICS_BUF_SIZE, 0, 0 ,
356       V_INFO_MM_PLANAR },
357     { M_CG640x480,  V_INFO_COLOR | V_INFO_GRAPHICS, 640, 480, 8, 16, 4, 4,
358       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, GRAPHICS_BUF_SIZE, 0, 0 ,
359       V_INFO_MM_PLANAR },
360     { M_VGA_CG320,  V_INFO_COLOR | V_INFO_GRAPHICS, 320, 200, 8,  8, 8, 1,
361       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, GRAPHICS_BUF_SIZE, 0, 0,
362       V_INFO_MM_PACKED, 1 },
363     { M_VGA_MODEX,  V_INFO_COLOR | V_INFO_GRAPHICS, 320, 240, 8,  8, 8, 4,
364       GRAPHICS_BUF_BASE, GRAPHICS_BUF_SIZE, GRAPHICS_BUF_SIZE, 0, 0,
365       V_INFO_MM_VGAX, 1 },
366 #endif /* VGA_NO_MODE_CHANGE */
367 
368     { EOT },
369 };
370 
371 static int		vga_init_done = FALSE;
372 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
373 static u_char		*video_mode_ptr = NULL;
374 #endif
375 static u_char		*mode_map[V_MODE_MAP_SIZE];
376 static adp_state_t	adpstate;
377 static adp_state_t	adpstate2;
378 static int		rows_offset = 1;
379 
380 /* local macros and functions */
381 #define BIOS_SADDRTOLADDR(p) ((((p) & 0xffff0000) >> 12) + ((p) & 0x0000ffff))
382 
383 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
384 static void map_mode_table(u_char **, u_char *);
385 static int map_mode_num(int);
386 #endif
387 #ifndef VGA_NO_BIOS
388 static int map_bios_mode_num(int);
389 #endif
390 static u_char *get_mode_param(int);
391 static int verify_adapter(video_adapter_t *);
392 static void update_adapter_info(video_adapter_t *, video_info_t *);
393 static int probe_adapters(void);
394 static int set_line_length(video_adapter_t *, int);
395 static int set_display_start(video_adapter_t *, int, int);
396 
397 #ifndef VGA_NO_MODE_CHANGE
398 #ifdef VGA_WIDTH90
399 static void set_width90(adp_state_t *);
400 #endif
401 #endif /* !VGA_NO_MODE_CHANGE */
402 
403 #ifndef VGA_NO_FONT_LOADING
404 #define PARAM_BUFSIZE	6
405 static void set_font_mode(video_adapter_t *, u_char *);
406 static void set_normal_mode(video_adapter_t *, u_char *);
407 #endif
408 
409 #ifndef VGA_NO_MODE_CHANGE
410 static void filll_io(int, vm_offset_t, size_t);
411 static void planar_fill(video_adapter_t *, int);
412 static void packed_fill(video_adapter_t *, int);
413 static void direct_fill(video_adapter_t *, int);
414 #ifdef notyet
415 static void planar_fill_rect(video_adapter_t *, int, int, int, int, int);
416 static void packed_fill_rect(video_adapter_t *, int, int, int, int, int);
417 static void direct_fill_rect16(video_adapter_t *, int, int, int, int, int);
418 static void direct_fill_rect24(video_adapter_t *, int, int, int, int, int);
419 static void direct_fill_rect32(video_adapter_t *, int, int, int, int, int);
420 #endif /* notyet */
421 #endif /* !VGA_NO_MODE_CHANGE */
422 
423 #define	ISMAPPED(pa, width)				\
424 	(((pa) <= (u_long)0x1000 - (width)) 		\
425 	 || ((pa) >= ISA_HOLE_START && (pa) <= 0x100000 - (width)))
426 
427 #define	prologue(adp, flag, err)			\
428 	if (!vga_init_done || !((adp)->va_flags & (flag)))	\
429 	    return (err)
430 
431 /* a backdoor for the console driver */
432 static int
433 vga_configure(int flags)
434 {
435     probe_adapters();
436     if (probe_done(&biosadapter)) {
437 	biosadapter.va_flags |= V_ADP_INITIALIZED;
438 	if (!config_done(&biosadapter) && !(vid_register(&biosadapter) < 0))
439 	    biosadapter.va_flags |= V_ADP_REGISTERED;
440     }
441     if (vga_sub_configure != NULL)
442 	(*vga_sub_configure)(flags);
443 
444     return 1;
445 }
446 
447 /* local subroutines */
448 
449 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
450 /* construct the mode parameter map (accept 40x25, 80x25 and 80x30 modes) */
451 static void
452 map_mode_table(u_char *map[], u_char *table)
453 {
454     int i, valid;
455 
456     for(i = 0; i < V_MODE_MAP_SIZE; ++i) {
457 	map[i] = table + i*V_MODE_PARAM_SIZE;
458 	valid = 0;
459 	if ((map[i][0] == 40 && map[i][1] == 24) ||
460 	    (map[i][0] == 80 && (map[i][1] == 24 || map[i][1] == 29)))
461 	    valid++;
462 	if (!valid)
463 	    map[i] = NULL;
464     }
465 }
466 #endif /* !VGA_NO_BIOS && !VGA_NO_MODE_CHANGE */
467 
468 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
469 /* map the non-standard video mode to a known mode number */
470 static int
471 map_mode_num(int mode)
472 {
473     static struct {
474         int from;
475         int to;
476     } mode_map[] = {
477         { M_ENH_B80x43, M_ENH_B80x25 },
478         { M_ENH_C80x43, M_ENH_C80x25 },
479         { M_VGA_M80x30, M_VGA_M80x25 },
480         { M_VGA_C80x30, M_VGA_C80x25 },
481         { M_VGA_M80x50, M_VGA_M80x25 },
482         { M_VGA_C80x50, M_VGA_C80x25 },
483         { M_VGA_M80x60, M_VGA_M80x25 },
484         { M_VGA_C80x60, M_VGA_C80x25 },
485 #ifdef VGA_WIDTH90
486         { M_VGA_M90x25, M_VGA_M80x25 },
487         { M_VGA_C90x25, M_VGA_C80x25 },
488         { M_VGA_M90x30, M_VGA_M80x25 },
489         { M_VGA_C90x30, M_VGA_C80x25 },
490         { M_VGA_M90x43, M_ENH_B80x25 },
491         { M_VGA_C90x43, M_ENH_C80x25 },
492         { M_VGA_M90x50, M_VGA_M80x25 },
493         { M_VGA_C90x50, M_VGA_C80x25 },
494         { M_VGA_M90x60, M_VGA_M80x25 },
495         { M_VGA_C90x60, M_VGA_C80x25 },
496 #endif
497         { M_VGA_MODEX,  M_VGA_CG320 },
498     };
499     int i;
500 
501     for (i = 0; i < NELEM(mode_map); ++i) {
502         if (mode_map[i].from == mode)
503             return mode_map[i].to;
504     }
505     return mode;
506 }
507 #endif /* !VGA_NO_BIOS && !VGA_NO_MODE_CHANGE */
508 
509 #ifndef VGA_NO_BIOS
510 /* turn the BIOS video number into our video mode number */
511 static int
512 map_bios_mode_num(int bios_mode)
513 {
514     static int vga_modes[20] = {
515 	M_VGA_C40x25, M_VGA_C40x25,	/* 0, 1 */
516 	M_VGA_C80x25, M_VGA_C80x25,	/* 2, 3 */
517 	M_BG320, M_CG320,
518 	M_BG640,
519 	M_VGA_M80x25,			/* 7 */
520 	8, 9, 10, 11, 12,
521 	M_CG320_D,
522 	M_CG640_E,
523 	M_ENHMONOAPA2,
524 	M_ENH_CG640,
525 	M_BG640x480, M_CG640x480,
526 	M_VGA_CG320,
527     };
528 
529     if (bios_mode < NELEM(vga_modes))
530 	return vga_modes[bios_mode];
531 
532     return M_VGA_C80x25;
533 }
534 #endif
535 
536 /* look up a parameter table entry */
537 static u_char *
538 get_mode_param(int mode)
539 {
540 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
541     if (mode >= V_MODE_MAP_SIZE)
542 	mode = map_mode_num(mode);
543 #endif
544     if ((mode >= 0) && (mode < V_MODE_MAP_SIZE))
545 	return mode_map[mode];
546     else
547 	return NULL;
548 }
549 
550 static int
551 verify_adapter(video_adapter_t *adp)
552 {
553     vm_offset_t buf;
554     u_int16_t v;
555 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
556     u_int32_t p;
557 #endif
558 
559     buf = BIOS_PADDRTOVADDR(adp->va_window);
560     v = readw(buf);
561     writew(buf, 0xA55A);
562     if (readw(buf) != 0xA55A)
563 	return ENXIO;
564     writew(buf, v);
565 
566     outb(CRTC, 7);
567     if (inb(CRTC) != 7)
568 	return ENXIO;
569 
570     adp->va_flags |= V_ADP_STATELOAD | V_ADP_STATESAVE | V_ADP_PALETTE |
571 	V_ADP_BORDER;
572 
573 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
574     /* get the BIOS video mode pointer */
575     p = *(u_int32_t *)BIOS_PADDRTOVADDR(0x4a8);
576     p = BIOS_SADDRTOLADDR(p);
577     if (ISMAPPED(p, sizeof(u_int32_t))) {
578 	p = *(u_int32_t *)BIOS_PADDRTOVADDR(p);
579 	p = BIOS_SADDRTOLADDR(p);
580 	if (ISMAPPED(p, V_MODE_PARAM_SIZE))
581 	    video_mode_ptr = (u_char *)BIOS_PADDRTOVADDR(p);
582     }
583 #endif
584 
585     return 0;
586 }
587 
588 static void
589 update_adapter_info(video_adapter_t *adp, video_info_t *info)
590 {
591     adp->va_flags |= V_ADP_COLOR;
592     adp->va_window = BIOS_PADDRTOVADDR(info->vi_window);
593     adp->va_window_size = info->vi_window_size;
594     adp->va_window_gran = info->vi_window_gran;
595     adp->va_window_orig = 0;
596     /* XXX */
597     adp->va_buffer = info->vi_buffer;
598     adp->va_buffer_size = info->vi_buffer_size;
599     if (info->vi_mem_model == V_INFO_MM_VGAX) {
600 	adp->va_line_width = info->vi_width/2;
601     } else if (info->vi_flags & V_INFO_GRAPHICS) {
602 	switch (info->vi_depth/info->vi_planes) {
603 	case 1:
604 	    adp->va_line_width = info->vi_width/8;
605 	    break;
606 	case 2:
607 	    adp->va_line_width = info->vi_width/4;
608 	    break;
609 	case 4:
610 	    adp->va_line_width = info->vi_width/2;
611 	    break;
612 	case 8:
613 	default: /* shouldn't happen */
614 	    adp->va_line_width = info->vi_width;
615 	    break;
616 	}
617     } else {
618 	adp->va_line_width = info->vi_width;
619     }
620     adp->va_disp_start.x = 0;
621     adp->va_disp_start.y = 0;
622     bcopy(info, &adp->va_info, sizeof(adp->va_info));
623 }
624 
625 /* probe video adapters and return the number of detected adapters */
626 static int
627 probe_adapters(void)
628 {
629     video_adapter_t *adp;
630     video_info_t info;
631 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
632     u_char *mp;
633 #endif
634     int i;
635 
636     /* do this test only once */
637     if (vga_init_done)
638 	return 1;
639     vga_init_done = TRUE;
640 
641     if (verify_adapter(&biosadapter) != 0)
642 	return 0;
643 
644     biosadapter.va_flags |= V_ADP_PROBED;
645 #ifndef VGA_NO_BIOS
646     biosadapter.va_initial_bios_mode = readb(BIOS_PADDRTOVADDR(0x449));
647     biosadapter.va_mode = biosadapter.va_initial_mode =
648 	map_bios_mode_num(biosadapter.va_initial_bios_mode);
649 #endif
650 
651     /*
652      * Ensure a zero start address.  This is mainly to recover after
653      * switching from pcvt using userconfig().  The registers are w/o
654      * for old hardware so it's too hard to relocate the active screen
655      * memory.
656      * This must be done before vga_save_state() for VGA.
657      */
658     outb(CRTC, 12);
659     outb(CRTC + 1, 0);
660     outb(CRTC, 13);
661     outb(CRTC + 1, 0);
662 
663     /* the video mode parameter table in VGA BIOS */
664     /* NOTE: there can be only one VGA recognized by the video BIOS.
665      */
666     adp = &biosadapter;
667     bzero(mode_map, sizeof(mode_map));
668     vga_save_state(adp, &adpstate, sizeof(adpstate));
669     for(i = 0; i < 16; i++)
670 	adp->va_palette_regs[i] = adpstate.regs[35 + i];
671 #if defined(VGA_NO_BIOS) || defined(VGA_NO_MODE_CHANGE)
672     mode_map[adp->va_initial_mode] = adpstate.regs;
673     rows_offset = 1;
674 #else /* VGA_NO_BIOS || VGA_NO_MODE_CHANGE */
675     if (video_mode_ptr == NULL) {
676 	mode_map[adp->va_initial_mode] = adpstate.regs;
677 	rows_offset = 1;
678     } else {
679 	/* discard modes that we are not familiar with */
680 	map_mode_table(mode_map, video_mode_ptr);
681 	mp = get_mode_param(adp->va_initial_mode);
682 #if !defined(VGA_KEEP_POWERON_MODE)
683 	if (mp != NULL) {
684 	    bcopy(mp, adpstate2.regs, sizeof(adpstate2.regs));
685 	    rows_offset = adpstate.regs[1] + 1 - mp[1];
686 	} else
687 #endif
688 	{
689 	    mode_map[adp->va_initial_mode] = adpstate.regs;
690 	    rows_offset = 1;
691 	}
692     }
693 #endif /* VGA_NO_BIOS || VGA_NO_MODE_CHANGE */
694 
695 #ifndef VGA_NO_MODE_CHANGE
696     adp->va_flags |= V_ADP_MODECHANGE;
697 #endif
698 #ifndef VGA_NO_FONT_LOADING
699     adp->va_flags |= V_ADP_FONT;
700 #endif
701 
702     /* XXX remove conflicting modes */
703     for (i = 0; i < M_VGA_CG320; i++) {
704 	if (vga_get_info(&biosadapter, i, &info))
705 	    continue;
706 	if ((info.vi_flags & V_INFO_COLOR) != V_ADP_COLOR)
707 	    mode_map[i] = NULL;
708     }
709 
710     /* buffer address */
711     vga_get_info(&biosadapter, biosadapter.va_initial_mode, &info);
712     info.vi_flags &= ~V_INFO_LINEAR; /* XXX */
713     update_adapter_info(&biosadapter, &info);
714 
715     /*
716      * XXX: we should verify the following values for the primary adapter...
717      * crtc I/O port address: *(u_int16_t *)BIOS_PADDRTOVADDR(0x463);
718      * color/mono display: (*(u_int8_t *)BIOS_PADDRTOVADDR(0x487) & 0x02)
719      *                     ? 0 : V_ADP_COLOR;
720      * columns: *(u_int8_t *)BIOS_PADDRTOVADDR(0x44a);
721      * rows: *(u_int8_t *)BIOS_PADDRTOVADDR(0x484);
722      * font size: *(u_int8_t *)BIOS_PADDRTOVADDR(0x485);
723      * buffer size: *(u_int16_t *)BIOS_PADDRTOVADDR(0x44c);
724      */
725 
726     return 1;
727 }
728 
729 /* set the scan line length in pixel */
730 static int
731 set_line_length(video_adapter_t *adp, int pixel)
732 {
733     u_char *mp;
734     int ppw;	/* pixels per word */
735     int bpl;	/* bytes per line */
736     int count;
737 
738     mp = get_mode_param(adp->va_mode);
739     if (mp == NULL)
740 	return EINVAL;
741 
742     switch (adp->va_info.vi_mem_model) {
743     case V_INFO_MM_PLANAR:
744 	ppw = 16/(adp->va_info.vi_depth/adp->va_info.vi_planes);
745 	count = (pixel + ppw - 1)/ppw/2;
746 	bpl = ((pixel + ppw - 1)/ppw/2)*4;
747 	break;
748     case V_INFO_MM_PACKED:
749 	count = (pixel + 7)/8;
750 	bpl = ((pixel + 7)/8)*8;
751 	break;
752     case V_INFO_MM_TEXT:
753 	count = (pixel + 7)/8;			/* columns */
754 	bpl = (pixel + 7)/8;			/* columns */
755 	break;
756     default:
757 	return ENODEV;
758     }
759 
760     if (mp[10 + 0x17] & 0x40)			/* CRTC mode control reg */
761 	count *= 2;				/* byte mode */
762     outb(CRTC, 0x13);
763     outb(CRTC, count);
764     adp->va_line_width = bpl;
765 
766     return 0;
767 }
768 
769 static int
770 set_display_start(video_adapter_t *adp, int x, int y)
771 {
772     int off;	/* byte offset (graphics mode)/word offset (text mode) */
773     int poff;	/* pixel offset */
774     int roff;	/* row offset */
775     int ppb;	/* pixels per byte */
776 
777     if (adp->va_info.vi_flags & V_INFO_GRAPHICS) {
778 	ppb = 8/(adp->va_info.vi_depth/adp->va_info.vi_planes);
779 	off = y*adp->va_line_width + x/ppb;
780 	roff = 0;
781 	poff = x%ppb;
782     } else {
783 	outb(TSIDX, 1);
784 	if (inb(TSREG) & 1)
785 	    ppb = 9;
786 	else
787 	    ppb = 8;
788 	off = y/adp->va_info.vi_cheight*adp->va_line_width + x/ppb;
789 	roff = y%adp->va_info.vi_cheight;
790 	/* FIXME: is this correct? XXX */
791 	if (ppb == 8)
792 	    poff = x%ppb;
793 	else
794 	    poff = (x + 8)%ppb;
795     }
796 
797     /* start address */
798     outb(CRTC, 0xc);		/* high */
799     outb(CRTC + 1, off >> 8);
800     outb(CRTC, 0xd);		/* low */
801     outb(CRTC + 1, off & 0xff);
802 
803     /* horizontal pel pan */
804     inb(CRTC + 6);
805     outb(ATC, 0x13 | 0x20);
806     outb(ATC, poff);
807     inb(CRTC + 6);
808     outb(ATC, 0x20);
809 
810     /* preset raw scan */
811     outb(CRTC, 8);
812     outb(CRTC + 1, roff);
813 
814     adp->va_disp_start.x = x;
815     adp->va_disp_start.y = y;
816     return 0;
817 }
818 
819 #ifndef VGA_NO_MODE_CHANGE
820 #if defined(__i386__) || defined(__x86_64__)	/* XXX */
821 static void
822 fill(int val, void *d, size_t size)
823 {
824     u_char *p = d;
825 
826     while (size-- > 0)
827 	*p++ = val;
828 }
829 #endif /* __i386__ || __x86_64__ */
830 
831 static void
832 filll_io(int val, vm_offset_t d, size_t size)
833 {
834     while (size-- > 0) {
835 	writel(d, val);
836 	d += sizeof(u_int32_t);
837     }
838 }
839 #endif /* !VGA_NO_MODE_CHANGE */
840 
841 /* entry points */
842 
843 #if 0
844 static int
845 vga_nop(void)
846 {
847     return 0;
848 }
849 #endif
850 
851 static int
852 vga_error(void)
853 {
854     return ENODEV;
855 }
856 
857 static int
858 vga_probe(int unit, video_adapter_t **adpp, void *arg, int flags)
859 {
860     probe_adapters();
861     if (unit != 0)
862 	return ENXIO;
863 
864     *adpp = &biosadapter;
865 
866     return 0;
867 }
868 
869 static int
870 vga_init(int unit, video_adapter_t *adp, int flags)
871 {
872     if ((unit != 0) || (adp == NULL) || !probe_done(adp))
873 	return ENXIO;
874 
875     if (!init_done(adp)) {
876 	/* nothing to do really... */
877 	adp->va_flags |= V_ADP_INITIALIZED;
878     }
879 
880     if (!config_done(adp)) {
881 	if (vid_register(adp) < 0)
882 		return ENXIO;
883 	adp->va_flags |= V_ADP_REGISTERED;
884     }
885     if (vga_sub_configure != NULL)
886 	(*vga_sub_configure)(0);
887 
888     return 0;
889 }
890 
891 /*
892  * get_info():
893  * Return the video_info structure of the requested video mode.
894  */
895 static int
896 vga_get_info(video_adapter_t *adp, int mode, video_info_t *info)
897 {
898     int i;
899 
900     if (!vga_init_done)
901 	return ENXIO;
902 
903 #ifndef VGA_NO_MODE_CHANGE
904     if (adp->va_flags & V_ADP_MODECHANGE) {
905 	/*
906 	 * If the parameter table entry for this mode is not found,
907 	 * the mode is not supported...
908 	 */
909 	if (get_mode_param(mode) == NULL)
910 	    return EINVAL;
911     } else
912 #endif /* VGA_NO_MODE_CHANGE */
913     {
914 	/*
915 	 * Even if we don't support video mode switching on this adapter,
916 	 * the information on the initial (thus current) video mode
917 	 * should be made available.
918 	 */
919 	if (mode != adp->va_initial_mode)
920 	    return EINVAL;
921     }
922 
923     for (i = 0; bios_vmode[i].vi_mode != EOT; ++i) {
924 	if (bios_vmode[i].vi_mode == NA)
925 	    continue;
926 	if (mode == bios_vmode[i].vi_mode) {
927 	    *info = bios_vmode[i];
928 	    /* XXX */
929 	    info->vi_buffer_size = info->vi_window_size*info->vi_planes;
930 	    return 0;
931 	}
932     }
933     return EINVAL;
934 }
935 
936 /*
937  * query_mode():
938  * Find a video mode matching the requested parameters.
939  * Fields filled with 0 are considered "don't care" fields and
940  * match any modes.
941  */
942 static int
943 vga_query_mode(video_adapter_t *adp, video_info_t *info)
944 {
945     int i;
946 
947     if (!vga_init_done)
948 	return ENXIO;
949 
950     for (i = 0; bios_vmode[i].vi_mode != EOT; ++i) {
951 	if (bios_vmode[i].vi_mode == NA)
952 	    continue;
953 
954 	if ((info->vi_width != 0)
955 	    && (info->vi_width != bios_vmode[i].vi_width))
956 		continue;
957 	if ((info->vi_height != 0)
958 	    && (info->vi_height != bios_vmode[i].vi_height))
959 		continue;
960 	if ((info->vi_cwidth != 0)
961 	    && (info->vi_cwidth != bios_vmode[i].vi_cwidth))
962 		continue;
963 	if ((info->vi_cheight != 0)
964 	    && (info->vi_cheight != bios_vmode[i].vi_cheight))
965 		continue;
966 	if ((info->vi_depth != 0)
967 	    && (info->vi_depth != bios_vmode[i].vi_depth))
968 		continue;
969 	if ((info->vi_planes != 0)
970 	    && (info->vi_planes != bios_vmode[i].vi_planes))
971 		continue;
972 	/* XXX: should check pixel format, memory model */
973 	if ((info->vi_flags != 0)
974 	    && (info->vi_flags != bios_vmode[i].vi_flags))
975 		continue;
976 
977 	/* verify if this mode is supported on this adapter */
978 	if (vga_get_info(adp, bios_vmode[i].vi_mode, info))
979 		continue;
980 	return 0;
981     }
982     return ENODEV;
983 }
984 
985 /*
986  * set_mode():
987  * Change the video mode.
988  */
989 
990 #ifndef VGA_NO_MODE_CHANGE
991 #ifdef VGA_WIDTH90
992 static void
993 set_width90(adp_state_t *params)
994 {
995     /*
996      * Based on code submitted by Kelly Yancey (kbyanc@freedomnet.com)
997      * and alexv@sui.gda.itesm.mx.
998      */
999     params->regs[5] |= 1;		/* toggle 8 pixel wide fonts */
1000     params->regs[10+0x0] = 0x6b;
1001     params->regs[10+0x1] = 0x59;
1002     params->regs[10+0x2] = 0x5a;
1003     params->regs[10+0x3] = 0x8e;
1004     params->regs[10+0x4] = 0x5e;
1005     params->regs[10+0x5] = 0x8a;
1006     params->regs[10+0x13] = 45;
1007     params->regs[35+0x13] = 0;
1008 }
1009 #endif /* VGA_WIDTH90 */
1010 #endif /* !VGA_NO_MODE_CHANGE */
1011 
1012 static int
1013 vga_set_mode(video_adapter_t *adp, int mode)
1014 {
1015 #ifndef VGA_NO_MODE_CHANGE
1016     video_info_t info;
1017     adp_state_t params;
1018 
1019     prologue(adp, V_ADP_MODECHANGE, ENODEV);
1020 
1021     if (vga_get_info(adp, mode, &info))
1022 	return EINVAL;
1023 
1024     lwkt_gettoken(&tty_token);
1025 
1026 #if VGA_DEBUG > 1
1027     kprintf("vga_set_mode(): setting mode %d\n", mode);
1028 #endif
1029 
1030     params.sig = V_STATE_SIG;
1031     bcopy(get_mode_param(mode), params.regs, sizeof(params.regs));
1032 
1033     switch (mode) {
1034 #ifdef VGA_WIDTH90
1035     case M_VGA_C90x60: case M_VGA_M90x60:
1036 	set_width90(&params);
1037 	/* FALLTHROUGH */
1038 #endif
1039     case M_VGA_C80x60: case M_VGA_M80x60:
1040 	params.regs[2]  = 0x08;
1041 	params.regs[19] = 0x47;
1042 	goto special_480l;
1043 
1044 #ifdef VGA_WIDTH90
1045     case M_VGA_C90x30: case M_VGA_M90x30:
1046 	set_width90(&params);
1047 	/* FALLTHROUGH */
1048 #endif
1049     case M_VGA_C80x30: case M_VGA_M80x30:
1050 	params.regs[19] = 0x4f;
1051 special_480l:
1052 	params.regs[9] |= 0xc0;
1053 	params.regs[16] = 0x08;
1054 	params.regs[17] = 0x3e;
1055 	params.regs[26] = 0xea;
1056 	params.regs[28] = 0xdf;
1057 	params.regs[31] = 0xe7;
1058 	params.regs[32] = 0x04;
1059 	goto setup_mode;
1060 
1061 #ifdef VGA_WIDTH90
1062     case M_VGA_C90x43: case M_VGA_M90x43:
1063 	set_width90(&params);
1064 	/* FALLTHROUGH */
1065 #endif
1066     case M_ENH_C80x43: case M_ENH_B80x43:
1067 	params.regs[28] = 87;
1068 	goto special_80x50;
1069 
1070 #ifdef VGA_WIDTH90
1071     case M_VGA_C90x50: case M_VGA_M90x50:
1072 	set_width90(&params);
1073 	/* FALLTHROUGH */
1074 #endif
1075     case M_VGA_C80x50: case M_VGA_M80x50:
1076 special_80x50:
1077 	params.regs[2] = 8;
1078 	params.regs[19] = 7;
1079 	goto setup_mode;
1080 
1081 #ifdef VGA_WIDTH90
1082     case M_VGA_C90x25: case M_VGA_M90x25:
1083 	set_width90(&params);
1084 	/* FALLTHROUGH */
1085 #endif
1086     case M_VGA_C40x25: case M_VGA_C80x25:
1087     case M_VGA_M80x25:
1088     case M_B40x25:     case M_C40x25:
1089     case M_B80x25:     case M_C80x25:
1090     case M_ENH_B40x25: case M_ENH_C40x25:
1091     case M_ENH_B80x25: case M_ENH_C80x25:
1092     case M_EGAMONO80x25:
1093 
1094 setup_mode:
1095 	vga_load_state(adp, &params);
1096 	break;
1097 
1098     case M_VGA_MODEX:
1099 	/* "unchain" the VGA mode */
1100 	params.regs[5-1+0x04] &= 0xf7;
1101 	params.regs[5-1+0x04] |= 0x04;
1102 	/* turn off doubleword mode */
1103 	params.regs[10+0x14] &= 0xbf;
1104 	/* turn off word addressing */
1105 	params.regs[10+0x17] |= 0x40;
1106 	/* set logical screen width */
1107 	params.regs[10+0x13] = 80;
1108 	/* set 240 lines */
1109 	params.regs[10+0x11] = 0x2c;
1110 	params.regs[10+0x06] = 0x0d;
1111 	params.regs[10+0x07] = 0x3e;
1112 	params.regs[10+0x10] = 0xea;
1113 	params.regs[10+0x11] = 0xac;
1114 	params.regs[10+0x12] = 0xdf;
1115 	params.regs[10+0x15] = 0xe7;
1116 	params.regs[10+0x16] = 0x06;
1117 	/* set vertical sync polarity to reflect aspect ratio */
1118 	params.regs[9] = 0xe3;
1119 	goto setup_grmode;
1120 
1121     case M_BG320:     case M_CG320:     case M_BG640:
1122     case M_CG320_D:   case M_CG640_E:
1123     case M_CG640x350: case M_ENH_CG640:
1124     case M_BG640x480: case M_CG640x480: case M_VGA_CG320:
1125 
1126 setup_grmode:
1127 	vga_load_state(adp, &params);
1128 	break;
1129 
1130     default:
1131         lwkt_reltoken(&tty_token);
1132 	return EINVAL;
1133     }
1134 
1135     adp->va_mode = mode;
1136     info.vi_flags &= ~V_INFO_LINEAR; /* XXX */
1137     update_adapter_info(adp, &info);
1138 
1139     /* move hardware cursor out of the way */
1140     (*vidsw[adp->va_index]->set_hw_cursor)(adp, -1, -1);
1141 
1142     lwkt_reltoken(&tty_token);
1143     return 0;
1144 #else /* VGA_NO_MODE_CHANGE */
1145     lwkt_reltoken(&tty_token);
1146     return ENODEV;
1147 #endif /* VGA_NO_MODE_CHANGE */
1148 }
1149 
1150 #ifndef VGA_NO_FONT_LOADING
1151 
1152 static void
1153 set_font_mode(video_adapter_t *adp, u_char *buf)
1154 {
1155     crit_enter();
1156 
1157     /* save register values */
1158     outb(TSIDX, 0x02); buf[0] = inb(TSREG);
1159     outb(TSIDX, 0x04); buf[1] = inb(TSREG);
1160     outb(GDCIDX, 0x04); buf[2] = inb(GDCREG);
1161     outb(GDCIDX, 0x05); buf[3] = inb(GDCREG);
1162     outb(GDCIDX, 0x06); buf[4] = inb(GDCREG);
1163     inb(CRTC + 6);
1164     outb(ATC, 0x10); buf[5] = inb(ATC + 1);
1165 
1166     /* setup vga for loading fonts */
1167     inb(CRTC + 6);				/* reset flip-flop */
1168     outb(ATC, 0x10); outb(ATC, buf[5] & ~0x01);
1169     inb(CRTC + 6);				/* reset flip-flop */
1170     outb(ATC, 0x20);				/* enable palette */
1171 
1172 #ifdef VGA_ALT_SEQACCESS
1173     outw(TSIDX, 0x0100);
1174 #endif
1175     outw(TSIDX, 0x0402);
1176     outw(TSIDX, 0x0704);
1177 #ifdef VGA_ALT_SEQACCESS
1178     outw(TSIDX, 0x0300);
1179 #endif
1180     outw(GDCIDX, 0x0204);
1181     outw(GDCIDX, 0x0005);
1182     outw(GDCIDX, 0x0406);               /* addr = a0000, 64kb */
1183 
1184     crit_exit();
1185 }
1186 
1187 static void
1188 set_normal_mode(video_adapter_t *adp, u_char *buf)
1189 {
1190     crit_enter();
1191 
1192     /* setup vga for normal operation mode again */
1193     inb(CRTC + 6);				/* reset flip-flop */
1194     outb(ATC, 0x10); outb(ATC, buf[5]);
1195     inb(CRTC + 6);				/* reset flip-flop */
1196     outb(ATC, 0x20);				/* enable palette */
1197 
1198 #ifdef VGA_ALT_SEQACCESS
1199     outw(TSIDX, 0x0100);
1200 #endif
1201     outw(TSIDX, 0x0002 | (buf[0] << 8));
1202     outw(TSIDX, 0x0004 | (buf[1] << 8));
1203 #ifdef VGA_ALT_SEQACCESS
1204     outw(TSIDX, 0x0300);
1205 #endif
1206     outw(GDCIDX, 0x0004 | (buf[2] << 8));
1207     outw(GDCIDX, 0x0005 | (buf[3] << 8));
1208     outw(GDCIDX, 0x0006 | (((buf[4] & 0x03) | 0x0c)<<8));
1209 
1210     crit_exit();
1211 }
1212 
1213 #endif /* VGA_NO_FONT_LOADING */
1214 
1215 /*
1216  * save_font():
1217  * Read the font data in the requested font page from the video adapter.
1218  */
1219 static int
1220 vga_save_font(video_adapter_t *adp, int page, int fontsize, u_char *data,
1221 	      int ch, int count)
1222 {
1223 #ifndef VGA_NO_FONT_LOADING
1224     u_char buf[PARAM_BUFSIZE];
1225     vm_offset_t segment;
1226     int c;
1227 #ifdef VGA_ALT_SEQACCESS
1228     u_char val = 0;
1229 #endif
1230 
1231     prologue(adp, V_ADP_FONT, ENODEV);
1232 
1233     if (fontsize < 14) {
1234 	/* FONT_8 */
1235 	fontsize = 8;
1236     } else if (fontsize >= 32) {
1237 	fontsize = 32;
1238     } else if (fontsize >= 16) {
1239 	/* FONT_16 */
1240 	fontsize = 16;
1241     } else {
1242 	/* FONT_14 */
1243 	fontsize = 14;
1244     }
1245 
1246     if (page < 0 || page >= 8)
1247 	return EINVAL;
1248     segment = FONT_BUF + 0x4000*page;
1249     if (page > 3)
1250 	segment -= 0xe000;
1251 
1252 #ifdef VGA_ALT_SEQACCESS
1253     crit_enter();
1254     outb(TSIDX, 0x00); outb(TSREG, 0x01);
1255     outb(TSIDX, 0x01); val = inb(TSREG);	/* disable screen */
1256     outb(TSIDX, 0x01); outb(TSREG, val | 0x20);
1257     outb(TSIDX, 0x00); outb(TSREG, 0x03);
1258     crit_exit();
1259 #endif
1260 
1261     set_font_mode(adp, buf);
1262     if (fontsize == 32) {
1263 	bcopy_fromio((uintptr_t)segment + ch*32, data, fontsize*count);
1264     } else {
1265 	for (c = ch; count > 0; ++c, --count) {
1266 	    bcopy_fromio((uintptr_t)segment + c*32, data, fontsize);
1267 	    data += fontsize;
1268 	}
1269     }
1270     set_normal_mode(adp, buf);
1271 
1272 #ifdef VGA_ALT_SEQACCESS
1273     crit_enter();
1274     outb(TSIDX, 0x00); outb(TSREG, 0x01);
1275     outb(TSIDX, 0x01); outb(TSREG, val & 0xdf);	/* enable screen */
1276     outb(TSIDX, 0x00); outb(TSREG, 0x03);
1277     crit_exit();
1278 #endif
1279 
1280     return 0;
1281 #else /* VGA_NO_FONT_LOADING */
1282     return ENODEV;
1283 #endif /* VGA_NO_FONT_LOADING */
1284 }
1285 
1286 /*
1287  * load_font():
1288  * Set the font data in the requested font page.
1289  * NOTE: it appears that some recent video adapters do not support
1290  * the font page other than 0... XXX
1291  */
1292 static int
1293 vga_load_font(video_adapter_t *adp, int page, int fontsize, u_char *data,
1294 	      int ch, int count)
1295 {
1296 #ifndef VGA_NO_FONT_LOADING
1297     u_char buf[PARAM_BUFSIZE];
1298     vm_offset_t segment;
1299     int c;
1300 #ifdef VGA_ALT_SEQACCESS
1301     u_char val = 0;
1302 #endif
1303 
1304     prologue(adp, V_ADP_FONT, ENODEV);
1305 
1306     if (fontsize < 14) {
1307 	/* FONT_8 */
1308 	fontsize = 8;
1309     } else if (fontsize >= 32) {
1310 	fontsize = 32;
1311     } else if (fontsize >= 16) {
1312 	/* FONT_16 */
1313 	fontsize = 16;
1314     } else {
1315 	/* FONT_14 */
1316 	fontsize = 14;
1317     }
1318 
1319     if (page < 0 || page >= 8)
1320 	return EINVAL;
1321     segment = FONT_BUF + 0x4000*page;
1322     if (page > 3)
1323 	segment -= 0xe000;
1324 
1325 #ifdef VGA_ALT_SEQACCESS
1326     crit_enter();
1327     outb(TSIDX, 0x00); outb(TSREG, 0x01);
1328     outb(TSIDX, 0x01); val = inb(TSREG);	/* disable screen */
1329     outb(TSIDX, 0x01); outb(TSREG, val | 0x20);
1330     outb(TSIDX, 0x00); outb(TSREG, 0x03);
1331     crit_exit();
1332 #endif
1333 
1334     set_font_mode(adp, buf);
1335     if (fontsize == 32) {
1336 	bcopy_toio(data, (uintptr_t)segment + ch*32, fontsize*count);
1337     } else {
1338 	for (c = ch; count > 0; ++c, --count) {
1339 	    bcopy_toio(data, (uintptr_t)segment + c*32, fontsize);
1340 	    data += fontsize;
1341 	}
1342     }
1343     set_normal_mode(adp, buf);
1344 
1345 #ifdef VGA_ALT_SEQACCESS
1346     crit_enter();
1347     outb(TSIDX, 0x00); outb(TSREG, 0x01);
1348     outb(TSIDX, 0x01); outb(TSREG, val & 0xdf);	/* enable screen */
1349     outb(TSIDX, 0x00); outb(TSREG, 0x03);
1350     crit_exit();
1351 #endif
1352 
1353     return 0;
1354 #else /* VGA_NO_FONT_LOADING */
1355     return ENODEV;
1356 #endif /* VGA_NO_FONT_LOADING */
1357 }
1358 
1359 /*
1360  * show_font():
1361  * Activate the requested font page.
1362  * NOTE: it appears that some recent video adapters do not support
1363  * the font page other than 0... XXX
1364  */
1365 static int
1366 vga_show_font(video_adapter_t *adp, int page)
1367 {
1368 #ifndef VGA_NO_FONT_LOADING
1369     static u_char cg[] = { 0x00, 0x05, 0x0a, 0x0f, 0x30, 0x35, 0x3a, 0x3f };
1370 
1371     prologue(adp, V_ADP_FONT, ENODEV);
1372     if (page < 0 || page >= 8)
1373 	return EINVAL;
1374 
1375     crit_enter();
1376     outb(TSIDX, 0x03); outb(TSREG, cg[page]);
1377     crit_exit();
1378 
1379     return 0;
1380 #else /* VGA_NO_FONT_LOADING */
1381     return ENODEV;
1382 #endif /* VGA_NO_FONT_LOADING */
1383 }
1384 
1385 /*
1386  * save_palette():
1387  * Read DAC values. The values have expressed in 8 bits.
1388  *
1389  * VGA
1390  */
1391 static int
1392 vga_save_palette(video_adapter_t *adp, u_char *palette)
1393 {
1394     int i;
1395 
1396     prologue(adp, V_ADP_PALETTE, ENODEV);
1397 
1398     /*
1399      * We store 8 bit values in the palette buffer, while the standard
1400      * VGA has 6 bit DAC .
1401      */
1402     outb(PALRADR, 0x00);
1403     for (i = 0; i < 256*3; ++i)
1404 	palette[i] = inb(PALDATA) << 2;
1405     inb(CRTC + 6);		/* reset flip/flop */
1406     return 0;
1407 }
1408 
1409 static int
1410 vga_save_palette2(video_adapter_t *adp, int base, int count,
1411 		  u_char *r, u_char *g, u_char *b)
1412 {
1413     int i;
1414 
1415     prologue(adp, V_ADP_PALETTE, ENODEV);
1416 
1417     outb(PALRADR, base);
1418     for (i = 0; i < count; ++i) {
1419 	r[i] = inb(PALDATA) << 2;
1420 	g[i] = inb(PALDATA) << 2;
1421 	b[i] = inb(PALDATA) << 2;
1422     }
1423     inb(CRTC + 6);		/* reset flip/flop */
1424     return 0;
1425 }
1426 
1427 /*
1428  * load_palette():
1429  * Set DAC values.
1430  *
1431  * VGA
1432  */
1433 static int
1434 vga_load_palette(video_adapter_t *adp, const u_char *palette)
1435 {
1436     int i;
1437 
1438     prologue(adp, V_ADP_PALETTE, ENODEV);
1439 
1440     outb(PIXMASK, 0xff);		/* no pixelmask */
1441     outb(PALWADR, 0x00);
1442     for (i = 0; i < 256*3; ++i)
1443 	outb(PALDATA, palette[i] >> 2);
1444     inb(CRTC + 6);			/* reset flip/flop */
1445     outb(ATC, 0x20);			/* enable palette */
1446     return 0;
1447 }
1448 
1449 static int
1450 vga_load_palette2(video_adapter_t *adp, int base, int count,
1451 		  u_char *r, u_char *g, u_char *b)
1452 {
1453     int i;
1454 
1455     prologue(adp, V_ADP_PALETTE, ENODEV);
1456 
1457     outb(PIXMASK, 0xff);		/* no pixelmask */
1458     outb(PALWADR, base);
1459     for (i = 0; i < count; ++i) {
1460 	outb(PALDATA, r[i] >> 2);
1461 	outb(PALDATA, g[i] >> 2);
1462 	outb(PALDATA, b[i] >> 2);
1463     }
1464     inb(CRTC + 6);			/* reset flip/flop */
1465     outb(ATC, 0x20);			/* enable palette */
1466     return 0;
1467 }
1468 
1469 /*
1470  * set_border():
1471  * Change the border color.
1472  */
1473 static int
1474 vga_set_border(video_adapter_t *adp, int color)
1475 {
1476     prologue(adp, V_ADP_BORDER, ENODEV);
1477 
1478     inb(CRTC + 6);	/* reset flip-flop */
1479     outb(ATC, 0x31); outb(ATC, color & 0xff);
1480 
1481     return 0;
1482 }
1483 
1484 /*
1485  * save_state():
1486  * Read video register values.
1487  * NOTE: this function only reads the standard VGA registers.
1488  * any extra/extended registers of SVGA adapters are not saved.
1489  */
1490 static int
1491 vga_save_state(video_adapter_t *adp, void *p, size_t size)
1492 {
1493     video_info_t info;
1494     u_char *buf;
1495     int crtc_addr;
1496     int i, j;
1497 
1498     if (size == 0) {
1499 	/* return the required buffer size */
1500 	prologue(adp, V_ADP_STATESAVE, 0);
1501 	return sizeof(adp_state_t);
1502     } else {
1503 	prologue(adp, V_ADP_STATESAVE, ENODEV);
1504 	if (size < sizeof(adp_state_t))
1505 	    return EINVAL;
1506     }
1507     ((adp_state_t *)p)->sig = V_STATE_SIG;
1508     buf = ((adp_state_t *)p)->regs;
1509     bzero(buf, V_MODE_PARAM_SIZE);
1510     crtc_addr = CRTC;
1511 
1512     crit_enter();
1513 
1514     outb(TSIDX, 0x00); outb(TSREG, 0x01);	/* stop sequencer */
1515     for (i = 0, j = 5; i < 4; i++) {
1516 	outb(TSIDX, i + 1);
1517 	buf[j++]  =  inb(TSREG);
1518     }
1519     buf[9]  =  inb(MISC + 10);			/* dot-clock */
1520     outb(TSIDX, 0x00); outb(TSREG, 0x03);	/* start sequencer */
1521 
1522     for (i = 0, j = 10; i < 25; i++) {		/* crtc */
1523 	outb(crtc_addr, i);
1524 	buf[j++]  =  inb(crtc_addr + 1);
1525     }
1526     for (i = 0, j = 35; i < 20; i++) {		/* attribute ctrl */
1527         inb(crtc_addr + 6);			/* reset flip-flop */
1528 	outb(ATC, i);
1529 	buf[j++]  =  inb(ATC + 1);
1530     }
1531     for (i = 0, j = 55; i < 9; i++) {		/* graph data ctrl */
1532 	outb(GDCIDX, i);
1533 	buf[j++]  =  inb(GDCREG);
1534     }
1535     inb(crtc_addr + 6);				/* reset flip-flop */
1536     outb(ATC, 0x20);				/* enable palette */
1537 
1538     crit_exit();
1539 
1540 #if 1
1541     if (vga_get_info(adp, adp->va_mode, &info) == 0) {
1542 	if (info.vi_flags & V_INFO_GRAPHICS) {
1543 	    buf[0] = info.vi_width/info.vi_cwidth; /* COLS */
1544 	    buf[1] = info.vi_height/info.vi_cheight - 1; /* ROWS */
1545 	} else {
1546 	    buf[0] = info.vi_width;		/* COLS */
1547 	    buf[1] = info.vi_height - 1;	/* ROWS */
1548 	}
1549 	buf[2] = info.vi_cheight;		/* POINTS */
1550     } else {
1551 	/* XXX: shouldn't be happening... */
1552 	kprintf("vga%d: %s: failed to obtain mode info. (vga_save_state())\n",
1553 	       adp->va_unit, adp->va_name);
1554     }
1555 #else
1556     buf[0] = readb(BIOS_PADDRTOVADDR(0x44a));	/* COLS */
1557     buf[1] = readb(BIOS_PADDRTOVADDR(0x484));	/* ROWS */
1558     buf[2] = readb(BIOS_PADDRTOVADDR(0x485));	/* POINTS */
1559     buf[3] = readb(BIOS_PADDRTOVADDR(0x44c));
1560     buf[4] = readb(BIOS_PADDRTOVADDR(0x44d));
1561 #endif
1562 
1563     return 0;
1564 }
1565 
1566 /*
1567  * load_state():
1568  * Set video registers at once.
1569  * NOTE: this function only updates the standard VGA registers.
1570  * any extra/extended registers of SVGA adapters are not changed.
1571  */
1572 static int
1573 vga_load_state(video_adapter_t *adp, void *p)
1574 {
1575     u_char *buf;
1576     int crtc_addr;
1577     int i;
1578 
1579     prologue(adp, V_ADP_STATELOAD, ENODEV);
1580     if (((adp_state_t *)p)->sig != V_STATE_SIG)
1581 	return EINVAL;
1582 
1583     buf = ((adp_state_t *)p)->regs;
1584     crtc_addr = CRTC;
1585 
1586 #if VGA_DEBUG > 1
1587     hexdump(buf, V_MODE_PARAM_SIZE, NULL, HD_OMIT_CHARS | HD_OMIT_COUNT);
1588 #endif
1589 
1590     crit_enter();
1591 
1592     outb(TSIDX, 0x00); outb(TSREG, 0x01);	/* stop sequencer */
1593     for (i = 0; i < 4; ++i) {			/* program sequencer */
1594 	outb(TSIDX, i + 1);
1595 	outb(TSREG, buf[i + 5]);
1596     }
1597     outb(MISC, buf[9]);				/* set dot-clock */
1598     outb(TSIDX, 0x00); outb(TSREG, 0x03);	/* start sequencer */
1599     outb(crtc_addr, 0x11);
1600     outb(crtc_addr + 1, inb(crtc_addr + 1) & 0x7F);
1601     for (i = 0; i < 25; ++i) {			/* program crtc */
1602 	outb(crtc_addr, i);
1603 	outb(crtc_addr + 1, buf[i + 10]);
1604     }
1605     inb(crtc_addr+6);				/* reset flip-flop */
1606     for (i = 0; i < 20; ++i) {			/* program attribute ctrl */
1607 	outb(ATC, i);
1608 	outb(ATC, buf[i + 35]);
1609     }
1610     for (i = 0; i < 9; ++i) {			/* program graph data ctrl */
1611 	outb(GDCIDX, i);
1612 	outb(GDCREG, buf[i + 55]);
1613     }
1614     inb(crtc_addr + 6);				/* reset flip-flop */
1615     outb(ATC, 0x20);				/* enable palette */
1616 
1617 #if 0 /* XXX a temporary workaround for kernel panic */
1618 #ifndef VGA_NO_BIOS
1619     if (adp->va_unit == V_ADP_PRIMARY) {
1620 	writeb(BIOS_PADDRTOVADDR(0x44a), buf[0]);	/* COLS */
1621 	writeb(BIOS_PADDRTOVADDR(0x484), buf[1] + rows_offset - 1); /* ROWS */
1622 	writeb(BIOS_PADDRTOVADDR(0x485), buf[2]);	/* POINTS */
1623 #if 0
1624 	writeb(BIOS_PADDRTOVADDR(0x44c), buf[3]);
1625 	writeb(BIOS_PADDRTOVADDR(0x44d), buf[4]);
1626 #endif
1627     }
1628 #endif /* VGA_NO_BIOS */
1629 #endif /* XXX */
1630 
1631     crit_exit();
1632     return 0;
1633 }
1634 
1635 /*
1636  * set_origin():
1637  * Change the origin (window mapping) of the banked frame buffer.
1638  */
1639 static int
1640 vga_set_origin(video_adapter_t *adp, off_t offset)
1641 {
1642     /*
1643      * The standard video modes do not require window mapping;
1644      * always return error.
1645      */
1646     return ENODEV;
1647 }
1648 
1649 /*
1650  * read_hw_cursor():
1651  * Read the position of the hardware text cursor.
1652  */
1653 static int
1654 vga_read_hw_cursor(video_adapter_t *adp, int *col, int *row)
1655 {
1656     u_int16_t off;
1657 
1658     if (!vga_init_done)
1659 	return ENXIO;
1660 
1661     if (adp->va_info.vi_flags & V_INFO_GRAPHICS)
1662 	return ENODEV;
1663 
1664     crit_enter();
1665     outb(CRTC, 14);
1666     off = inb(CRTC + 1);
1667     outb(CRTC, 15);
1668     off = (off << 8) | inb(CRTC + 1);
1669     crit_exit();
1670 
1671     *row = off / adp->va_info.vi_width;
1672     *col = off % adp->va_info.vi_width;
1673 
1674     return 0;
1675 }
1676 
1677 /*
1678  * set_hw_cursor():
1679  * Move the hardware text cursor.  If col and row are both -1,
1680  * the cursor won't be shown.
1681  */
1682 static int
1683 vga_set_hw_cursor(video_adapter_t *adp, int col, int row)
1684 {
1685     u_int16_t off;
1686 
1687     if (!vga_init_done)
1688 	return ENXIO;
1689 
1690     if ((col == -1) && (row == -1)) {
1691 	off = -1;
1692     } else {
1693 	if (adp->va_info.vi_flags & V_INFO_GRAPHICS)
1694 	    return ENODEV;
1695 	off = row*adp->va_info.vi_width + col;
1696     }
1697 
1698     crit_enter();
1699     outb(CRTC, 14);
1700     outb(CRTC + 1, off >> 8);
1701     outb(CRTC, 15);
1702     outb(CRTC + 1, off & 0x00ff);
1703     crit_exit();
1704 
1705     return 0;
1706 }
1707 
1708 /*
1709  * set_hw_cursor_shape():
1710  * Change the shape of the hardware text cursor. If the height is
1711  * zero or negative, the cursor won't be shown.
1712  */
1713 static int
1714 vga_set_hw_cursor_shape(video_adapter_t *adp, int base, int height,
1715 			int celsize, int blink)
1716 {
1717     if (!vga_init_done)
1718 	return ENXIO;
1719 
1720     crit_enter();
1721     if (height <= 0) {
1722 	/* make the cursor invisible */
1723 	outb(CRTC, 10);
1724 	outb(CRTC + 1, 32);
1725 	outb(CRTC, 11);
1726 	outb(CRTC + 1, 0);
1727     } else {
1728 	outb(CRTC, 10);
1729 	outb(CRTC + 1, celsize - base - height);
1730 	outb(CRTC, 11);
1731 	outb(CRTC + 1, celsize - base - 1);
1732     }
1733     crit_exit();
1734 
1735     return 0;
1736 }
1737 
1738 /*
1739  * blank_display()
1740  * Put the display in power save/power off mode.
1741  */
1742 static int
1743 vga_blank_display(video_adapter_t *adp, int mode)
1744 {
1745     u_char val;
1746 
1747     crit_enter();
1748     switch (mode) {
1749     case V_DISPLAY_SUSPEND:
1750     case V_DISPLAY_STAND_BY:
1751 	outb(TSIDX, 0x01);
1752 	val = inb(TSREG);
1753 	outb(TSIDX, 0x01);
1754 	outb(TSREG, val | 0x20);
1755 	outb(CRTC, 0x17);
1756 	val = inb(CRTC + 1);
1757 	outb(CRTC + 1, val & ~0x80);
1758 	break;
1759     case V_DISPLAY_OFF:
1760 	outb(TSIDX, 0x01);
1761 	val = inb(TSREG);
1762 	outb(TSIDX, 0x01);
1763 	outb(TSREG, val | 0x20);
1764 	break;
1765     case V_DISPLAY_ON:
1766 	outb(TSIDX, 0x01);
1767 	val = inb(TSREG);
1768 	outb(TSIDX, 0x01);
1769 	outb(TSREG, val & 0xDF);
1770 	outb(CRTC, 0x17);
1771 	val = inb(CRTC + 1);
1772 	outb(CRTC + 1, val | 0x80);
1773 	break;
1774     }
1775     crit_exit();
1776 
1777     return 0;
1778 }
1779 
1780 /*
1781  * mmap():
1782  * Mmap frame buffer.
1783  */
1784 static int
1785 vga_mmap_buf(video_adapter_t *adp, vm_offset_t offset, int prot)
1786 {
1787     if (adp->va_info.vi_flags & V_INFO_LINEAR)
1788 	return -1;
1789 
1790 #if VGA_DEBUG > 0
1791     kprintf("vga_mmap_buf(): window:0x%x, offset:%p\n",
1792 	   adp->va_info.vi_window, (void *)offset);
1793 #endif
1794 
1795     /* XXX: is this correct? */
1796     if (offset > adp->va_window_size - PAGE_SIZE)
1797 	return -1;
1798 
1799 #if defined(__i386__)
1800     return i386_btop(adp->va_info.vi_window + offset);
1801 #elif defined(__x86_64__)
1802     return x86_64_btop(adp->va_info.vi_window + offset);
1803 #else
1804 #error "vga_mmap_buf needs to return something"
1805 #endif
1806 }
1807 
1808 #ifndef VGA_NO_MODE_CHANGE
1809 
1810 static void
1811 planar_fill(video_adapter_t *adp, int val)
1812 {
1813     int length;
1814     int at;			/* position in the frame buffer */
1815     int l;
1816 
1817     lwkt_gettoken(&tty_token);
1818     outw(GDCIDX, 0x0005);		/* read mode 0, write mode 0 */
1819     outw(GDCIDX, 0x0003);		/* data rotate/function select */
1820     outw(GDCIDX, 0x0f01);		/* set/reset enable */
1821     outw(GDCIDX, 0xff08);		/* bit mask */
1822     outw(GDCIDX, (val << 8) | 0x00);	/* set/reset */
1823     at = 0;
1824     length = adp->va_line_width*adp->va_info.vi_height;
1825     while (length > 0) {
1826 	l = imin(length, adp->va_window_size);
1827 	(*vidsw[adp->va_index]->set_win_org)(adp, at);
1828 	bzero_io(adp->va_window, l);
1829 	length -= l;
1830 	at += l;
1831     }
1832     outw(GDCIDX, 0x0000);		/* set/reset */
1833     outw(GDCIDX, 0x0001);		/* set/reset enable */
1834     lwkt_reltoken(&tty_token);
1835 }
1836 
1837 static void
1838 packed_fill(video_adapter_t *adp, int val)
1839 {
1840     int length;
1841     int at;			/* position in the frame buffer */
1842     int l;
1843 
1844     lwkt_gettoken(&tty_token);
1845     at = 0;
1846     length = adp->va_line_width*adp->va_info.vi_height;
1847     while (length > 0) {
1848 	l = imin(length, adp->va_window_size);
1849 	(*vidsw[adp->va_index]->set_win_org)(adp, at);
1850 	fill_io(val, adp->va_window, l);
1851 	length -= l;
1852 	at += l;
1853     }
1854     lwkt_reltoken(&tty_token);
1855 }
1856 
1857 static void
1858 direct_fill(video_adapter_t *adp, int val)
1859 {
1860     int length;
1861     int at;			/* position in the frame buffer */
1862     int l;
1863 
1864     lwkt_gettoken(&tty_token);
1865     at = 0;
1866     length = adp->va_line_width*adp->va_info.vi_height;
1867     while (length > 0) {
1868 	l = imin(length, adp->va_window_size);
1869 	(*vidsw[adp->va_index]->set_win_org)(adp, at);
1870 	switch (adp->va_info.vi_pixel_size) {
1871 	case sizeof(u_int16_t):
1872 	    fillw_io(val, adp->va_window, l/sizeof(u_int16_t));
1873 	    break;
1874 	case 3:
1875 	    /* FIXME */
1876 	    break;
1877 	case sizeof(u_int32_t):
1878 	    filll_io(val, adp->va_window, l/sizeof(u_int32_t));
1879 	    break;
1880 	}
1881 	length -= l;
1882 	at += l;
1883     }
1884     lwkt_reltoken(&tty_token);
1885 }
1886 
1887 static int
1888 vga_clear(video_adapter_t *adp)
1889 {
1890     switch (adp->va_info.vi_mem_model) {
1891     case V_INFO_MM_TEXT:
1892 	/* do nothing? XXX */
1893 	break;
1894     case V_INFO_MM_PLANAR:
1895 	planar_fill(adp, 0);
1896 	break;
1897     case V_INFO_MM_PACKED:
1898 	packed_fill(adp, 0);
1899 	break;
1900     case V_INFO_MM_DIRECT:
1901 	direct_fill(adp, 0);
1902 	break;
1903     }
1904     return 0;
1905 }
1906 
1907 #ifdef notyet
1908 static void
1909 planar_fill_rect(video_adapter_t *adp, int val, int x, int y, int cx, int cy)
1910 {
1911     int banksize;
1912     int bank;
1913     int pos;
1914     int offset;			/* offset within window */
1915     int bx;
1916     int l;
1917 
1918     lwkt_gettoken(&tty_token);
1919     outw(GDCIDX, 0x0005);		/* read mode 0, write mode 0 */
1920     outw(GDCIDX, 0x0003);		/* data rotate/function select */
1921     outw(GDCIDX, 0x0f01);		/* set/reset enable */
1922     outw(GDCIDX, 0xff08);		/* bit mask */
1923     outw(GDCIDX, (val << 8) | 0x00); /* set/reset */
1924 
1925     banksize = adp->va_window_size;
1926     bank = -1;
1927     while (cy > 0) {
1928 	pos = adp->va_line_width*y + x/8;
1929 	if (bank != pos/banksize) {
1930 	    (*vidsw[adp->va_index]->set_win_org)(adp, pos);
1931 	    bank = pos/banksize;
1932 	}
1933 	offset = pos%banksize;
1934 	bx = (x + cx)/8 - x/8;
1935 	if (x % 8) {
1936 	    outw(GDCIDX, ((0xff00 >> (x % 8)) & 0xff00) | 0x08);
1937 	    writeb(adp->va_window + offset, 0);
1938 	    ++offset;
1939 	    --bx;
1940 	    if (offset >= banksize) {
1941 		offset = 0;
1942 		++bank;		/* next bank */
1943 		(*vidsw[adp->va_index]->set_win_org)(adp, bank*banksize);
1944 	    }
1945 	    outw(GDCIDX, 0xff08);	/* bit mask */
1946 	}
1947 	while (bx > 0) {
1948 	    l = imin(bx, banksize);
1949 	    bzero_io(adp->va_window + offset, l);
1950 	    offset += l;
1951 	    bx -= l;
1952 	    if (offset >= banksize) {
1953 		offset = 0;
1954 		++bank;		/* next bank */
1955 		(*vidsw[adp->va_index]->set_win_org)(adp, bank*banksize);
1956 	    }
1957 	}
1958 	if ((x + cx) % 8) {
1959 	    outw(GDCIDX, (~(0xff00 >> ((x + cx) % 8)) & 0xff00) | 0x08);
1960 	    writeb(adp->va_window + offset, 0);
1961 	    ++offset;
1962 	    if (offset >= banksize) {
1963 		offset = 0;
1964 		++bank;		/* next bank */
1965 		(*vidsw[adp->va_index]->set_win_org)(adp, bank*banksize);
1966 	    }
1967 	    outw(GDCIDX, 0xff08);	/* bit mask */
1968 	}
1969 	++y;
1970 	--cy;
1971     }
1972 
1973     outw(GDCIDX, 0xff08);		/* bit mask */
1974     outw(GDCIDX, 0x0000);		/* set/reset */
1975     outw(GDCIDX, 0x0001);		/* set/reset enable */
1976     lwkt_reltoken(&tty_token);
1977 }
1978 
1979 static void
1980 packed_fill_rect(video_adapter_t *adp, int val, int x, int y, int cx, int cy)
1981 {
1982     int banksize;
1983     int bank;
1984     int pos;
1985     int offset;			/* offset within window */
1986     int end;
1987 
1988     lwkt_gettoken(&tty_token);
1989     banksize = adp->va_window_size;
1990     bank = -1;
1991     cx *= adp->va_info.vi_pixel_size;
1992     while (cy > 0) {
1993 	pos = adp->va_line_width*y + x*adp->va_info.vi_pixel_size;
1994 	if (bank != pos/banksize) {
1995 	    (*vidsw[adp->va_index]->set_win_org)(adp, pos);
1996 	    bank = pos/banksize;
1997 	}
1998 	offset = pos%banksize;
1999 	end = imin(offset + cx, banksize);
2000 	fill_io(val, adp->va_window + offset,
2001 		(end - offset)/adp->va_info.vi_pixel_size);
2002 	/* the line may cross the window boundary */
2003 	if (offset + cx > banksize) {
2004 	    ++bank;		/* next bank */
2005 	    (*vidsw[adp->va_index]->set_win_org)(adp, bank*banksize);
2006 	    end = offset + cx - banksize;
2007 	    fill_io(val, adp->va_window, end/adp->va_info.vi_pixel_size);
2008 	}
2009 	++y;
2010 	--cy;
2011     }
2012     lwkt_reltoken(&tty_token);
2013 }
2014 
2015 static void
2016 direct_fill_rect16(video_adapter_t *adp, int val, int x, int y, int cx, int cy)
2017 {
2018     int banksize;
2019     int bank;
2020     int pos;
2021     int offset;			/* offset within window */
2022     int end;
2023 
2024     lwkt_gettoken(&tty_token);
2025     /*
2026      * XXX: the function assumes that banksize is a muliple of
2027      * sizeof(u_int16_t).
2028      */
2029     banksize = adp->va_window_size;
2030     bank = -1;
2031     cx *= sizeof(u_int16_t);
2032     while (cy > 0) {
2033 	pos = adp->va_line_width*y + x*sizeof(u_int16_t);
2034 	if (bank != pos/banksize) {
2035 	    (*vidsw[adp->va_index]->set_win_org)(adp, pos);
2036 	    bank = pos/banksize;
2037 	}
2038 	offset = pos%banksize;
2039 	end = imin(offset + cx, banksize);
2040 	fillw_io(val, adp->va_window + offset,
2041 		 (end - offset)/sizeof(u_int16_t));
2042 	/* the line may cross the window boundary */
2043 	if (offset + cx > banksize) {
2044 	    ++bank;		/* next bank */
2045 	    (*vidsw[adp->va_index]->set_win_org)(adp, bank*banksize);
2046 	    end = offset + cx - banksize;
2047 	    fillw_io(val, adp->va_window, end/sizeof(u_int16_t));
2048 	}
2049 	++y;
2050 	--cy;
2051     }
2052     lwkt_reltoken(&tty_token);
2053 }
2054 
2055 static void
2056 direct_fill_rect24(video_adapter_t *adp, int val, int x, int y, int cx, int cy)
2057 {
2058     int banksize;
2059     int bank;
2060     int pos;
2061     int offset;			/* offset within window */
2062     int end;
2063     int i;
2064     int j;
2065     u_int8_t b[3];
2066 
2067     lwkt_gettoken(&tty_token);
2068     b[0] = val & 0x0000ff;
2069     b[1] = (val >> 8) & 0x0000ff;
2070     b[2] = (val >> 16) & 0x0000ff;
2071     banksize = adp->va_window_size;
2072     bank = -1;
2073     cx *= 3;
2074     while (cy > 0) {
2075 	pos = adp->va_line_width*y + x*3;
2076 	if (bank != pos/banksize) {
2077 	    (*vidsw[adp->va_index]->set_win_org)(adp, pos);
2078 	    bank = pos/banksize;
2079 	}
2080 	offset = pos%banksize;
2081 	end = imin(offset + cx, banksize);
2082 	for (i = 0, j = offset; j < end; i = (++i)%3, ++j) {
2083 	    writeb(adp->va_window + j, b[i]);
2084 	}
2085 	/* the line may cross the window boundary */
2086 	if (offset + cx >= banksize) {
2087 	    ++bank;		/* next bank */
2088 	    (*vidsw[adp->va_index]->set_win_org)(adp, bank*banksize);
2089 	    j = 0;
2090 	    end = offset + cx - banksize;
2091 	    for (; j < end; i = (++i)%3, ++j) {
2092 		writeb(adp->va_window + j, b[i]);
2093 	    }
2094 	}
2095 	++y;
2096 	--cy;
2097     }
2098     lwkt_reltoken(&tty_token);
2099 }
2100 
2101 static void
2102 direct_fill_rect32(video_adapter_t *adp, int val, int x, int y, int cx, int cy)
2103 {
2104     int banksize;
2105     int bank;
2106     int pos;
2107     int offset;			/* offset within window */
2108     int end;
2109 
2110     lwkt_gettoken(&tty_token);
2111     /*
2112      * XXX: the function assumes that banksize is a muliple of
2113      * sizeof(u_int32_t).
2114      */
2115     banksize = adp->va_window_size;
2116     bank = -1;
2117     cx *= sizeof(u_int32_t);
2118     while (cy > 0) {
2119 	pos = adp->va_line_width*y + x*sizeof(u_int32_t);
2120 	if (bank != pos/banksize) {
2121 	    (*vidsw[adp->va_index]->set_win_org)(adp, pos);
2122 	    bank = pos/banksize;
2123 	}
2124 	offset = pos%banksize;
2125 	end = imin(offset + cx, banksize);
2126 	filll_io(val, adp->va_window + offset,
2127 		 (end - offset)/sizeof(u_int32_t));
2128 	/* the line may cross the window boundary */
2129 	if (offset + cx > banksize) {
2130 	    ++bank;		/* next bank */
2131 	    (*vidsw[adp->va_index]->set_win_org)(adp, bank*banksize);
2132 	    end = offset + cx - banksize;
2133 	    filll_io(val, adp->va_window, end/sizeof(u_int32_t));
2134 	}
2135 	++y;
2136 	--cy;
2137     }
2138     lwkt_reltoken(&tty_token);
2139 }
2140 
2141 static int
2142 vga_fill_rect(video_adapter_t *adp, int val, int x, int y, int cx, int cy)
2143 {
2144     switch (adp->va_info.vi_mem_model) {
2145     case V_INFO_MM_TEXT:
2146 	/* do nothing? XXX */
2147 	break;
2148     case V_INFO_MM_PLANAR:
2149 	planar_fill_rect(adp, val, x, y, cx, cy);
2150 	break;
2151     case V_INFO_MM_PACKED:
2152 	packed_fill_rect(adp, val, x, y, cx, cy);
2153 	break;
2154     case V_INFO_MM_DIRECT:
2155 	switch (adp->va_info.vi_pixel_size) {
2156 	case sizeof(u_int16_t):
2157 	    direct_fill_rect16(adp, val, x, y, cx, cy);
2158 	    break;
2159 	case 3:
2160 	    direct_fill_rect24(adp, val, x, y, cx, cy);
2161 	    break;
2162 	case sizeof(u_int32_t):
2163 	    direct_fill_rect32(adp, val, x, y, cx, cy);
2164 	    break;
2165 	}
2166 	break;
2167     }
2168     return 0;
2169 }
2170 #else /* !notyet */
2171 static int
2172 vga_fill_rect(video_adapter_t *adp, int val, int x, int y, int cx, int cy)
2173 {
2174     return ENODEV;
2175 }
2176 #endif /* notyet */
2177 
2178 static int
2179 vga_bitblt(video_adapter_t *adp,...)
2180 {
2181     /* FIXME */
2182     return ENODEV;
2183 }
2184 
2185 #endif /* !VGA_NO_MODE_CHANGE */
2186 
2187 static int
2188 get_palette(video_adapter_t *adp, int base, int count,
2189 	    u_char *red, u_char *green, u_char *blue, u_char *trans)
2190 {
2191     u_char *r;
2192     u_char *g;
2193     u_char *b;
2194 
2195     if (count < 0 || base < 0 || count > 256 || base > 256 ||
2196 	base + count > 256)
2197 	return EINVAL;
2198 
2199     r = kmalloc(count*3, M_DEVBUF, M_WAITOK);
2200     g = r + count;
2201     b = g + count;
2202     if (vga_save_palette2(adp, base, count, r, g, b)) {
2203 	kfree(r, M_DEVBUF);
2204 	return ENODEV;
2205     }
2206     copyout(r, red, count);
2207     copyout(g, green, count);
2208     copyout(b, blue, count);
2209     if (trans != NULL) {
2210 	bzero(r, count);
2211 	copyout(r, trans, count);
2212     }
2213     kfree(r, M_DEVBUF);
2214 
2215     return 0;
2216 }
2217 
2218 static int
2219 set_palette(video_adapter_t *adp, int base, int count,
2220 	    u_char *red, u_char *green, u_char *blue, u_char *trans)
2221 {
2222     u_char *r;
2223     u_char *g;
2224     u_char *b;
2225     int err;
2226 
2227     if (count < 0 || base < 0 || count > 256 || base > 256 ||
2228 	base + count > 256)
2229 	return EINVAL;
2230 
2231     r = kmalloc(count*3, M_DEVBUF, M_WAITOK);
2232     g = r + count;
2233     b = g + count;
2234     err = copyin(red, r, count);
2235     if (!err)
2236 	err = copyin(green, g, count);
2237     if (!err)
2238 	err = copyin(blue, b, count);
2239     if (!err)
2240 	err = vga_load_palette2(adp, base, count, r, g, b);
2241     kfree(r, M_DEVBUF);
2242 
2243     return (err ? ENODEV : 0);
2244 }
2245 
2246 static int
2247 vga_dev_ioctl(video_adapter_t *adp, u_long cmd, caddr_t arg)
2248 {
2249     switch (cmd) {
2250     case FBIO_GETWINORG:	/* get frame buffer window origin */
2251 	*(u_int *)arg = 0;
2252 	return 0;
2253 
2254     case FBIO_SETWINORG:	/* set frame buffer window origin */
2255 	return ENODEV;
2256 
2257     case FBIO_SETDISPSTART:	/* set display start address */
2258 	return (set_display_start(adp,
2259 				  ((video_display_start_t *)arg)->x,
2260 			  	  ((video_display_start_t *)arg)->y)
2261 		? ENODEV : 0);
2262 
2263     case FBIO_SETLINEWIDTH:	/* set scan line length in pixel */
2264 	return (set_line_length(adp, *(u_int *)arg) ? ENODEV : 0);
2265 
2266     case FBIO_GETPALETTE:	/* get color palette */
2267 	return get_palette(adp, ((video_color_palette_t *)arg)->index,
2268 			   ((video_color_palette_t *)arg)->count,
2269 			   ((video_color_palette_t *)arg)->red,
2270 			   ((video_color_palette_t *)arg)->green,
2271 			   ((video_color_palette_t *)arg)->blue,
2272 			   ((video_color_palette_t *)arg)->transparent);
2273 
2274     case FBIO_SETPALETTE:	/* set color palette */
2275 	return set_palette(adp, ((video_color_palette_t *)arg)->index,
2276 			   ((video_color_palette_t *)arg)->count,
2277 			   ((video_color_palette_t *)arg)->red,
2278 			   ((video_color_palette_t *)arg)->green,
2279 			   ((video_color_palette_t *)arg)->blue,
2280 			   ((video_color_palette_t *)arg)->transparent);
2281 
2282     case FBIOGTYPE:		/* get frame buffer type info. */
2283 	((struct fbtype *)arg)->fb_type = fb_type(adp->va_type);
2284 	((struct fbtype *)arg)->fb_height = adp->va_info.vi_height;
2285 	((struct fbtype *)arg)->fb_width = adp->va_info.vi_width;
2286 	((struct fbtype *)arg)->fb_depth = adp->va_info.vi_depth;
2287 	if ((adp->va_info.vi_depth <= 1) || (adp->va_info.vi_depth > 8))
2288 	    ((struct fbtype *)arg)->fb_cmsize = 0;
2289 	else
2290 	    ((struct fbtype *)arg)->fb_cmsize = 1 << adp->va_info.vi_depth;
2291 	((struct fbtype *)arg)->fb_size = adp->va_buffer_size;
2292 	return 0;
2293 
2294     case FBIOGETCMAP:		/* get color palette */
2295 	return get_palette(adp, ((struct fbcmap *)arg)->index,
2296 			   ((struct fbcmap *)arg)->count,
2297 			   ((struct fbcmap *)arg)->red,
2298 			   ((struct fbcmap *)arg)->green,
2299 			   ((struct fbcmap *)arg)->blue, NULL);
2300 
2301     case FBIOPUTCMAP:		/* set color palette */
2302 	return set_palette(adp, ((struct fbcmap *)arg)->index,
2303 			   ((struct fbcmap *)arg)->count,
2304 			   ((struct fbcmap *)arg)->red,
2305 			   ((struct fbcmap *)arg)->green,
2306 			   ((struct fbcmap *)arg)->blue, NULL);
2307 
2308     default:
2309 	return fb_commonioctl(adp, cmd, arg);
2310     }
2311 }
2312 
2313 /*
2314  * diag():
2315  * Print some information about the video adapter and video modes,
2316  * with requested level of details.
2317  */
2318 static int
2319 vga_diag(video_adapter_t *adp, int level)
2320 {
2321     u_char *mp;
2322 #if FB_DEBUG > 1
2323     video_info_t info;
2324     int i;
2325 #endif
2326 
2327     if (!vga_init_done)
2328 	return ENXIO;
2329 
2330 #if FB_DEBUG > 1
2331 #ifndef VGA_NO_BIOS
2332     kprintf("vga: DCC code:0x%02x\n",
2333 	readb(BIOS_PADDRTOVADDR(0x488)));
2334     kprintf("vga: CRTC:0x%x, video option:0x%02x, ",
2335 	readw(BIOS_PADDRTOVADDR(0x463)),
2336 	readb(BIOS_PADDRTOVADDR(0x487)));
2337     kprintf("rows:%d, cols:%d, font height:%d\n",
2338 	readb(BIOS_PADDRTOVADDR(0x44a)),
2339 	readb(BIOS_PADDRTOVADDR(0x484)) + 1,
2340 	readb(BIOS_PADDRTOVADDR(0x485)));
2341 #endif /* VGA_NO_BIOS */
2342 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
2343     kprintf("vga: param table:%p\n", video_mode_ptr);
2344     kprintf("vga: rows_offset:%d\n", rows_offset);
2345 #endif
2346 #endif /* FB_DEBUG > 1 */
2347 
2348     fb_dump_adp_info(VGA_DRIVER_NAME, adp, level);
2349 
2350 #if FB_DEBUG > 1
2351     if (adp->va_flags & V_ADP_MODECHANGE) {
2352 	for (i = 0; bios_vmode[i].vi_mode != EOT; ++i) {
2353 	    if (bios_vmode[i].vi_mode == NA)
2354 		continue;
2355 	    if (get_mode_param(bios_vmode[i].vi_mode) == NULL)
2356 		continue;
2357 	    fb_dump_mode_info(VGA_DRIVER_NAME, adp, &bios_vmode[i], level);
2358 	}
2359     } else {
2360 	vga_get_info(adp, adp->va_initial_mode, &info);	/* shouldn't fail */
2361 	fb_dump_mode_info(VGA_DRIVER_NAME, adp, &info, level);
2362     }
2363 #endif /* FB_DEBUG > 1 */
2364 
2365 #if !defined(VGA_NO_BIOS) && !defined(VGA_NO_MODE_CHANGE)
2366     if (video_mode_ptr == NULL)
2367 	kprintf("vga%d: %s: WARNING: video mode switching is not "
2368 	       "fully supported on this adapter\n",
2369 	       adp->va_unit, adp->va_name);
2370 #endif
2371     if (level <= 0)
2372 	return 0;
2373 
2374     kprintf("VGA parameters upon power-up\n");
2375     hexdump(adpstate.regs, sizeof(adpstate.regs), NULL,
2376 	HD_OMIT_CHARS | HD_OMIT_COUNT);
2377 
2378     mp = get_mode_param(adp->va_initial_mode);
2379     if (mp == NULL)	/* this shouldn't be happening */
2380 	return 0;
2381     kprintf("VGA parameters in BIOS for mode %d\n", adp->va_initial_mode);
2382     hexdump(adpstate2.regs, sizeof(adpstate2.regs), NULL,
2383 	HD_OMIT_CHARS | HD_OMIT_COUNT);
2384     kprintf("VGA parameters to be used for mode %d\n", adp->va_initial_mode);
2385     hexdump(mp, V_MODE_PARAM_SIZE, NULL, HD_OMIT_CHARS | HD_OMIT_COUNT);
2386 
2387     return 0;
2388 }
2389