xref: /freebsd/sys/i386/i386/bios.c (revision 64db83a8ab2d1f72a9b2174b39d2ef42b5b0580c)
1 /*-
2  * Copyright (c) 1997 Michael Smith
3  * Copyright (c) 1998 Jonathan Lemon
4  * All rights reserved.
5  *
6  * Redistribution and use in source and binary forms, with or without
7  * modification, are permitted provided that the following conditions
8  * are met:
9  * 1. Redistributions of source code must retain the above copyright
10  *    notice, this list of conditions and the following disclaimer.
11  * 2. Redistributions in binary form must reproduce the above copyright
12  *    notice, this list of conditions and the following disclaimer in the
13  *    documentation and/or other materials provided with the distribution.
14  *
15  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
16  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
17  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
18  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
19  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
20  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
21  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
22  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
23  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
24  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
25  * SUCH DAMAGE.
26  *
27  * $FreeBSD$
28  */
29 
30 /*
31  * Code for dealing with the BIOS in x86 PC systems.
32  */
33 
34 #include "isa.h"
35 #include "opt_smp.h"
36 
37 #include <sys/param.h>
38 #include <sys/systm.h>
39 #include <sys/kernel.h>
40 #include <sys/malloc.h>
41 #include <sys/bus.h>
42 #include <vm/vm.h>
43 #include <vm/pmap.h>
44 #include <machine/md_var.h>
45 #include <machine/segments.h>
46 #include <machine/stdarg.h>
47 #include <machine/vmparam.h>
48 #include <machine/pc/bios.h>
49 #include <isa/pnpreg.h>
50 #include <isa/pnpvar.h>
51 #if NISA > 0
52 #include <isa/isavar.h>
53 #endif
54 
55 #define BIOS_START	0xe0000
56 #define BIOS_SIZE	0x20000
57 
58 /* exported lookup results */
59 struct bios32_SDentry		PCIbios = {entry : 0};
60 struct PnPBIOS_table		*PnPBIOStable = 0;
61 
62 static u_int			bios32_SDCI = 0;
63 
64 /* start fairly early */
65 static void			bios32_init(void *junk);
66 SYSINIT(bios32, SI_SUB_CPU, SI_ORDER_ANY, bios32_init, NULL);
67 
68 /*
69  * bios32_init
70  *
71  * Locate various bios32 entities.
72  */
73 static void
74 bios32_init(void *junk)
75 {
76     u_long			sigaddr;
77     struct bios32_SDheader	*sdh;
78     struct PnPBIOS_table	*pt;
79     u_int8_t			ck, *cv;
80     int				i;
81     char			*p;
82 
83     /*
84      * BIOS32 Service Directory, PCI BIOS
85      */
86 
87     /* look for the signature */
88     if ((sigaddr = bios_sigsearch(0, "_32_", 4, 16, 0)) != 0) {
89 
90 	/* get a virtual pointer to the structure */
91 	sdh = (struct bios32_SDheader *)(uintptr_t)BIOS_PADDRTOVADDR(sigaddr);
92 	for (cv = (u_int8_t *)sdh, ck = 0, i = 0; i < (sdh->len * 16); i++) {
93 	    ck += cv[i];
94 	}
95 	/* If checksum is OK, enable use of the entrypoint */
96 	if ((ck == 0) && (sdh->entry < (BIOS_START + BIOS_SIZE))) {
97 	    bios32_SDCI = BIOS_PADDRTOVADDR(sdh->entry);
98 	    if (bootverbose) {
99 		printf("bios32: Found BIOS32 Service Directory header at %p\n", sdh);
100 		printf("bios32: Entry = 0x%x (%x)  Rev = %d  Len = %d\n",
101 		       sdh->entry, bios32_SDCI, sdh->revision, sdh->len);
102 	    }
103 
104 #ifndef PC98
105 	    /* Allow user override of PCI BIOS search */
106 	    if (((p = getenv("machdep.bios.pci")) == NULL) || strcmp(p, "disable")) {
107 
108 		/* See if there's a PCI BIOS entrypoint here */
109 		PCIbios.ident.id = 0x49435024;	/* PCI systems should have this */
110 		if (!bios32_SDlookup(&PCIbios) && bootverbose)
111 		    printf("pcibios: PCI BIOS entry at 0x%x+0x%x\n", PCIbios.base, PCIbios.entry);
112 	    }
113 #endif
114 	} else {
115 	    printf("bios32: Bad BIOS32 Service Directory\n");
116 	}
117     }
118 
119     /*
120      * PnP BIOS
121      *
122      * Allow user override of PnP BIOS search
123      */
124     if ((((p = getenv("machdep.bios.pnp")) == NULL) || strcmp(p, "disable")) &&
125 	((sigaddr = bios_sigsearch(0, "$PnP", 4, 16, 0)) != 0)) {
126 
127 	/* get a virtual pointer to the structure */
128 	pt = (struct PnPBIOS_table *)(uintptr_t)BIOS_PADDRTOVADDR(sigaddr);
129 	for (cv = (u_int8_t *)pt, ck = 0, i = 0; i < pt->len; i++) {
130 	    ck += cv[i];
131 	}
132 	/* If checksum is OK, enable use of the entrypoint */
133 	if (ck == 0) {
134 	    PnPBIOStable = pt;
135 	    if (bootverbose) {
136 		printf("pnpbios: Found PnP BIOS data at %p\n", pt);
137 		printf("pnpbios: Entry = %x:%x  Rev = %d.%d\n",
138 		       pt->pmentrybase, pt->pmentryoffset, pt->version >> 4, pt->version & 0xf);
139 		if ((pt->control & 0x3) == 0x01)
140 		    printf("pnpbios: Event flag at %x\n", pt->evflagaddr);
141 		if (pt->oemdevid != 0)
142 		    printf("pnpbios: OEM ID %x\n", pt->oemdevid);
143 
144 	    }
145 	} else {
146 	    printf("pnpbios: Bad PnP BIOS data checksum\n");
147 	}
148     }
149 
150     if (bootverbose) {
151 	    /* look for other know signatures */
152 	    printf("Other BIOS signatures found:\n");
153 	    printf("ACPI: %08x\n", bios_sigsearch(0, "RSD PTR ", 8, 16, 0));
154     }
155 }
156 
157 /*
158  * bios32_SDlookup
159  *
160  * Query the BIOS32 Service Directory for the service named in (ent),
161  * returns nonzero if the lookup fails.  The caller must fill in
162  * (ent->ident), the remainder are populated on a successful lookup.
163  */
164 int
165 bios32_SDlookup(struct bios32_SDentry *ent)
166 {
167     struct bios_regs args;
168 
169     if (bios32_SDCI == 0)
170 	return (1);
171 
172     args.eax = ent->ident.id;		/* set up arguments */
173     args.ebx = args.ecx = args.edx = 0;
174     bios32(&args, bios32_SDCI, GSEL(GCODE_SEL, SEL_KPL));
175     if ((args.eax & 0xff) == 0) {	/* success? */
176 	ent->base = args.ebx;
177 	ent->len = args.ecx;
178 	ent->entry = args.edx;
179 	ent->ventry = BIOS_PADDRTOVADDR(ent->base + ent->entry);
180 	return (0);			/* all OK */
181     }
182     return (1);				/* failed */
183 }
184 
185 
186 /*
187  * bios_sigsearch
188  *
189  * Search some or all of the BIOS region for a signature string.
190  *
191  * (start)	Optional offset returned from this function
192  *		(for searching for multiple matches), or NULL
193  *		to start the search from the base of the BIOS.
194  *		Note that this will be a _physical_ address in
195  *		the range 0xe0000 - 0xfffff.
196  * (sig)	is a pointer to the byte(s) of the signature.
197  * (siglen)	number of bytes in the signature.
198  * (paralen)	signature paragraph (alignment) size.
199  * (sigofs)	offset of the signature within the paragraph.
200  *
201  * Returns the _physical_ address of the found signature, 0 if the
202  * signature was not found.
203  */
204 
205 u_int32_t
206 bios_sigsearch(u_int32_t start, u_char *sig, int siglen, int paralen, int sigofs)
207 {
208     u_char	*sp, *end;
209 
210     /* compute the starting address */
211     if ((start >= BIOS_START) && (start <= (BIOS_START + BIOS_SIZE))) {
212 	sp = (char *)BIOS_PADDRTOVADDR(start);
213     } else if (start == 0) {
214 	sp = (char *)BIOS_PADDRTOVADDR(BIOS_START);
215     } else {
216 	return 0;				/* bogus start address */
217     }
218 
219     /* compute the end address */
220     end = (u_char *)BIOS_PADDRTOVADDR(BIOS_START + BIOS_SIZE);
221 
222     /* loop searching */
223     while ((sp + sigofs + siglen) < end) {
224 
225 	/* compare here */
226 	if (!bcmp(sp + sigofs, sig, siglen)) {
227 	    /* convert back to physical address */
228 	    return((u_int32_t)BIOS_VADDRTOPADDR(sp));
229 	}
230 	sp += paralen;
231     }
232     return(0);
233 }
234 
235 /*
236  * do not staticize, used by bioscall.s
237  */
238 union {
239     struct {
240 	u_short	offset;
241 	u_short	segment;
242     } vec16;
243     struct {
244 	u_int	offset;
245 	u_short	segment;
246     } vec32;
247 } bioscall_vector;			/* bios jump vector */
248 
249 void
250 set_bios_selectors(struct bios_segments *seg, int flags)
251 {
252     struct soft_segment_descriptor ssd = {
253 	0,			/* segment base address (overwritten) */
254 	0,			/* length (overwritten) */
255 	SDT_MEMERA,		/* segment type (overwritten) */
256 	0,			/* priority level */
257 	1,			/* descriptor present */
258 	0, 0,
259 	1,			/* descriptor size (overwritten) */
260 	0			/* granularity == byte units */
261     };
262     union descriptor *p_gdt;
263 
264 #ifdef SMP
265     p_gdt = &gdt[cpuid];
266 #else
267     p_gdt = gdt;
268 #endif
269 
270     ssd.ssd_base = seg->code32.base;
271     ssd.ssd_limit = seg->code32.limit;
272     ssdtosd(&ssd, &p_gdt[GBIOSCODE32_SEL].sd);
273 
274     ssd.ssd_def32 = 0;
275     if (flags & BIOSCODE_FLAG) {
276 	ssd.ssd_base = seg->code16.base;
277 	ssd.ssd_limit = seg->code16.limit;
278 	ssdtosd(&ssd, &p_gdt[GBIOSCODE16_SEL].sd);
279     }
280 
281     ssd.ssd_type = SDT_MEMRWA;
282     if (flags & BIOSDATA_FLAG) {
283 	ssd.ssd_base = seg->data.base;
284 	ssd.ssd_limit = seg->data.limit;
285 	ssdtosd(&ssd, &p_gdt[GBIOSDATA_SEL].sd);
286     }
287 
288     if (flags & BIOSUTIL_FLAG) {
289 	ssd.ssd_base = seg->util.base;
290 	ssd.ssd_limit = seg->util.limit;
291 	ssdtosd(&ssd, &p_gdt[GBIOSUTIL_SEL].sd);
292     }
293 
294     if (flags & BIOSARGS_FLAG) {
295 	ssd.ssd_base = seg->args.base;
296 	ssd.ssd_limit = seg->args.limit;
297 	ssdtosd(&ssd, &p_gdt[GBIOSARGS_SEL].sd);
298     }
299 }
300 
301 extern int vm86pa;
302 extern void bios16_jmp(void);
303 
304 /*
305  * this routine is really greedy with selectors, and uses 5:
306  *
307  * 32-bit code selector:	to return to kernel
308  * 16-bit code selector:	for running code
309  *        data selector:	for 16-bit data
310  *        util selector:	extra utility selector
311  *        args selector:	to handle pointers
312  *
313  * the util selector is set from the util16 entry in bios16_args, if a
314  * "U" specifier is seen.
315  *
316  * See <machine/pc/bios.h> for description of format specifiers
317  */
318 int
319 bios16(struct bios_args *args, char *fmt, ...)
320 {
321     char	*p, *stack, *stack_top;
322     va_list 	ap;
323     int 	flags = BIOSCODE_FLAG | BIOSDATA_FLAG;
324     u_int 	i, arg_start, arg_end;
325     u_int 	*pte, *ptd;
326 
327     arg_start = 0xffffffff;
328     arg_end = 0;
329 
330     /*
331      * Some BIOS entrypoints attempt to copy the largest-case
332      * argument frame (in order to generalise handling for
333      * different entry types).  If our argument frame is
334      * smaller than this, the BIOS will reach off the top of
335      * our constructed stack segment.  Pad the top of the stack
336      * with some garbage to avoid this.
337      */
338     stack = (caddr_t)PAGE_SIZE - 32;
339 
340     va_start(ap, fmt);
341     for (p = fmt; p && *p; p++) {
342 	switch (*p) {
343 	case 'p':			/* 32-bit pointer */
344 	    i = va_arg(ap, u_int);
345 	    arg_start = min(arg_start, i);
346 	    arg_end = max(arg_end, i);
347 	    flags |= BIOSARGS_FLAG;
348 	    stack -= 4;
349 	    break;
350 
351 	case 'i':			/* 32-bit integer */
352 	    i = va_arg(ap, u_int);
353 	    stack -= 4;
354 	    break;
355 
356 	case 'U':			/* 16-bit selector */
357 	    flags |= BIOSUTIL_FLAG;
358 	    /* FALLTHROUGH */
359 	case 'D':			/* 16-bit selector */
360 	case 'C':			/* 16-bit selector */
361 	    stack -= 2;
362 	    break;
363 
364 	case 's':			/* 16-bit integer */
365 	    i = va_arg(ap, u_short);
366 	    stack -= 2;
367 	    break;
368 
369 	default:
370 	    return (EINVAL);
371 	}
372     }
373 
374     if (flags & BIOSARGS_FLAG) {
375 	if (arg_end - arg_start > ctob(16))
376 	    return (EACCES);
377 	args->seg.args.base = arg_start;
378 	args->seg.args.limit = 0xffff;
379     }
380 
381     args->seg.code32.base = (u_int)&bios16_jmp & PG_FRAME;
382     args->seg.code32.limit = 0xffff;
383 
384     ptd = (u_int *)rcr3();
385     if (ptd == IdlePTD) {
386 	/*
387 	 * no page table, so create one and install it.
388 	 */
389 	pte = (u_int *)malloc(PAGE_SIZE, M_TEMP, M_WAITOK);
390 	ptd = (u_int *)((u_int)ptd + KERNBASE);
391 	*ptd = vtophys(pte) | PG_RW | PG_V;
392     } else {
393 	/*
394 	 * this is a user-level page table
395 	 */
396 	pte = (u_int *)&PTmap;
397     }
398     /*
399      * install pointer to page 0.  we don't need to flush the tlb,
400      * since there should not be a previous mapping for page 0.
401      */
402     *pte = (vm86pa - PAGE_SIZE) | PG_RW | PG_V;
403 
404     stack_top = stack;
405     va_start(ap, fmt);
406     for (p = fmt; p && *p; p++) {
407 	switch (*p) {
408 	case 'p':			/* 32-bit pointer */
409 	    i = va_arg(ap, u_int);
410 	    *(u_int *)stack = (i - arg_start) |
411 		(GSEL(GBIOSARGS_SEL, SEL_KPL) << 16);
412 	    stack += 4;
413 	    break;
414 
415 	case 'i':			/* 32-bit integer */
416 	    i = va_arg(ap, u_int);
417 	    *(u_int *)stack = i;
418 	    stack += 4;
419 	    break;
420 
421 	case 'U':			/* 16-bit selector */
422 	    *(u_short *)stack = GSEL(GBIOSUTIL_SEL, SEL_KPL);
423 	    stack += 2;
424 	    break;
425 
426 	case 'D':			/* 16-bit selector */
427 	    *(u_short *)stack = GSEL(GBIOSDATA_SEL, SEL_KPL);
428 	    stack += 2;
429 	    break;
430 
431 	case 'C':			/* 16-bit selector */
432 	    *(u_short *)stack = GSEL(GBIOSCODE16_SEL, SEL_KPL);
433 	    stack += 2;
434 	    break;
435 
436 	case 's':			/* 16-bit integer */
437 	    i = va_arg(ap, u_short);
438 	    *(u_short *)stack = i;
439 	    stack += 2;
440 	    break;
441 
442 	default:
443 	    return (EINVAL);
444 	}
445     }
446 
447     set_bios_selectors(&args->seg, flags);
448     bioscall_vector.vec16.offset = (u_short)args->entry;
449     bioscall_vector.vec16.segment = GSEL(GBIOSCODE16_SEL, SEL_KPL);
450 
451     i = bios16_call(&args->r, stack_top);
452 
453     if (pte == (u_int *)&PTmap) {
454 	*pte = 0;			/* remove entry */
455     } else {
456 	*ptd = 0;			/* remove page table */
457 	free(pte, M_TEMP);		/* ... and free it */
458     }
459 
460     /*
461      * XXX only needs to be invlpg(0) but that doesn't work on the 386
462      */
463     invltlb();
464 
465     return (i);
466 }
467 
468 /*
469  * PnP BIOS interface; enumerate devices only known to the system
470  * BIOS and save information about them for later use.
471  */
472 
473 struct pnp_sysdev
474 {
475     u_int16_t	size;
476     u_int8_t	handle;
477     u_int32_t	devid;
478     u_int8_t	type[3];
479     u_int16_t	attrib;
480 #define PNPATTR_NODISABLE	(1<<0)	/* can't be disabled */
481 #define PNPATTR_NOCONFIG	(1<<1)	/* can't be configured */
482 #define PNPATTR_OUTPUT		(1<<2)	/* can be primary output */
483 #define PNPATTR_INPUT		(1<<3)	/* can be primary input */
484 #define PNPATTR_BOOTABLE	(1<<4)	/* can be booted from */
485 #define PNPATTR_DOCK		(1<<5)	/* is a docking station */
486 #define PNPATTR_REMOVEABLE	(1<<6)	/* device is removeable */
487 #define PNPATTR_CONFIG_STATIC	0x00
488 #define PNPATTR_CONFIG_DYNAMIC	0x07
489 #define PNPATTR_CONFIG_DYNONLY	0x17
490     /* device-specific data comes here */
491     u_int8_t	devdata[0];
492 } __attribute__ ((packed));
493 
494 /* We have to cluster arguments within a 64k range for the bios16 call */
495 struct pnp_sysdevargs
496 {
497     u_int16_t	next;
498     struct pnp_sysdev node;
499 };
500 
501 /*
502  * This function is called after the bus has assigned resource
503  * locations for a logical device.
504  */
505 static void
506 pnpbios_set_config(void *arg, struct isa_config *config, int enable)
507 {
508 }
509 
510 /*
511  * Quiz the PnP BIOS, build a list of PNP IDs and resource data.
512  */
513 static void
514 pnpbios_identify(driver_t *driver, device_t parent)
515 {
516     struct PnPBIOS_table	*pt = PnPBIOStable;
517     struct bios_args		args;
518     struct pnp_sysdev		*pd;
519     struct pnp_sysdevargs	*pda;
520     u_int16_t			ndevs, bigdev;
521     int				error, currdev;
522     u_int8_t			*devnodebuf, tag;
523     u_int32_t			*devid, *compid;
524     int				idx, left;
525     device_t			dev;
526 
527     /* no PnP BIOS information */
528     if (pt == NULL)
529 	return;
530 
531     bzero(&args, sizeof(args));
532     args.seg.code16.base = BIOS_PADDRTOVADDR(pt->pmentrybase);
533     args.seg.code16.limit = 0xffff;		/* XXX ? */
534     args.seg.data.base = BIOS_PADDRTOVADDR(pt->pmdataseg);
535     args.seg.data.limit = 0xffff;
536     args.entry = pt->pmentryoffset;
537 
538     if ((error = bios16(&args, PNP_COUNT_DEVNODES, &ndevs, &bigdev)) || (args.r.eax & 0xff))
539 	printf("pnpbios: error %d/%x getting device count/size limit\n", error, args.r.eax);
540     ndevs &= 0xff;				/* clear high byte garbage */
541     if (bootverbose)
542 	printf("pnpbios: %d devices, largest %d bytes\n", ndevs, bigdev);
543 
544     devnodebuf = malloc(bigdev + (sizeof(struct pnp_sysdevargs) - sizeof(struct pnp_sysdev)),
545 			M_DEVBUF, M_NOWAIT);
546     pda = (struct pnp_sysdevargs *)devnodebuf;
547     pd = &pda->node;
548 
549     for (currdev = 0, left = ndevs; (currdev != 0xff) && (left > 0); left--) {
550 
551 	bzero(pd, bigdev);
552 	pda->next = currdev;
553 	/* get current configuration */
554 	if ((error = bios16(&args, PNP_GET_DEVNODE, &pda->next, &pda->node, (u_int16_t)1))) {
555 	    printf("pnpbios: error %d making BIOS16 call\n", error);
556 	    break;
557 	}
558 	if ((error = (args.r.eax & 0xff))) {
559 	    if (bootverbose)
560 		printf("pnpbios: %s 0x%x fetching node %d\n", error & 0x80 ? "error" : "warning", error, currdev);
561 	    if (error & 0x80)
562 		break;
563 	}
564 	currdev = pda->next;
565 	if (pd->size < sizeof(struct pnp_sysdev)) {
566 	    printf("pnpbios: bogus system node data, aborting scan\n");
567 	    break;
568 	}
569 
570 	/*
571 	 * If we are in APIC_IO mode, we should ignore the ISA PIC if it
572 	 * shows up.  Likewise, in !APIC_IO mode, we should ignore the
573 	 * APIC (less important).
574 	 * This is significant because the ISA PIC will claim IRQ 2 (which
575 	 * it uses for chaining), while in APIC mode this is a valid IRQ
576 	 * available for general use.
577 	 */
578 #ifdef APIC_IO
579 	if (pnp_eisaformat(pd->devid) == "PNP0000")	/* ISA PIC */
580 	    continue;
581 #else
582 	if (pnp_eisaformat(pd->devid) == "PNP0003")	/* APIC */
583 	    continue;
584 #endif
585 
586 	/* Add the device and parse its resources */
587 	dev = BUS_ADD_CHILD(parent, ISA_ORDER_PNP, NULL, -1);
588 	isa_set_vendorid(dev, pd->devid);
589 	isa_set_logicalid(dev, pd->devid);
590 	ISA_SET_CONFIG_CALLBACK(parent, dev, pnpbios_set_config, 0);
591 	pnp_parse_resources(dev, &pd->devdata[0],
592 			    pd->size - sizeof(struct pnp_sysdev));
593 	if (!device_get_desc(dev))
594 	    device_set_desc_copy(dev, pnp_eisaformat(pd->devid));
595 
596 	/* Find device IDs */
597 	devid = &pd->devid;
598 	compid = NULL;
599 
600 	/* look for a compatible device ID too */
601 	left = pd->size - sizeof(struct pnp_sysdev);
602 	idx = 0;
603 	while (idx < left) {
604 	    tag = pd->devdata[idx++];
605 	    if (PNP_RES_TYPE(tag) == 0) {
606 		/* Small resource */
607 		switch (PNP_SRES_NUM(tag)) {
608 		case PNP_TAG_COMPAT_DEVICE:
609 		    compid = (u_int32_t *)(pd->devdata + idx);
610 		    if (bootverbose)
611 			printf("pnpbios: node %d compat ID 0x%08x\n", pd->handle, *compid);
612 		    /* FALLTHROUGH */
613 		case PNP_TAG_END:
614 		    idx = left;
615 		    break;
616 		default:
617 		    idx += PNP_SRES_LEN(tag);
618 		    break;
619 		}
620 	    } else
621 		/* Large resource, skip it */
622 		idx += *(u_int16_t *)(pd->devdata + idx) + 2;
623 	}
624 	if (bootverbose) {
625 	    printf("pnpbios: handle %d device ID %s (%08x)",
626 		   pd->handle, pnp_eisaformat(*devid), *devid);
627 	    if (compid != NULL)
628 		printf(" compat ID %s (%08x)",
629 		       pnp_eisaformat(*compid), *compid);
630 	    printf("\n");
631 	}
632     }
633 }
634 
635 static device_method_t pnpbios_methods[] = {
636 	/* Device interface */
637 	DEVMETHOD(device_identify,	pnpbios_identify),
638 
639 	{ 0, 0 }
640 };
641 
642 static driver_t pnpbios_driver = {
643 	"pnpbios",
644 	pnpbios_methods,
645 	1,			/* no softc */
646 };
647 
648 static devclass_t pnpbios_devclass;
649 
650 DRIVER_MODULE(pnpbios, isa, pnpbios_driver, pnpbios_devclass, 0, 0);
651