Cosmetic fix: Not every machine that uses the sio driver has a BIOS.

Pointed out by: imp
2002-01-17 20:05:47 +00:00 · 2002-01-17 20:05:47 +00:00 · 7f04152a10
commit 7f04152a10
parent 85090cbb33
1 changed files with 1 additions and 1 deletions
--- a/sys/dev/sio/sio.c
+++ b/sys/dev/sio/sio.c
@ -767,7 +767,7 @@ sioprobe(dev, xrid, noprobe)
 		"sio%d: configured irq %ld not in bitmap of probed irqs %#x\n",
 		    device_get_unit(dev), xirq, irqs);
 		printf(
-		"sio%d: port may not be enabled in BIOS\n",
+		"sio%d: port may not be enabled\n",
 		    device_get_unit(dev));
 	}
 	if (bootverbose)