From cbe0d0f670d4e2deab3a55e85d2a31dd8ae54ede Mon Sep 17 00:00:00 2001 From: Tom Rhodes Date: Sat, 8 Feb 2003 19:39:01 +0000 Subject: s/hw.pci_allow_unsupported_io_range/hw.pci.allow_unsupported_io_range/ The former was incorrect and gave an `unknown oid' error. --- sys/boot/common/loader.8 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sys/boot/common') diff --git a/sys/boot/common/loader.8 b/sys/boot/common/loader.8 index 9a3016a11e89..c868922e254d 100644 --- a/sys/boot/common/loader.8 +++ b/sys/boot/common/loader.8 @@ -427,7 +427,7 @@ Enable PCI resources which are left off by some BIOSes or are not enabled correctly by the device driver. Tunable value set to ON (1) by default, but this may cause problems with some peripherals. -.It Va hw.pci_allow_unsupported_io_range +.It Va hw.pci.allow_unsupported_io_range Allow the PCI bridge to pass through an unsupported memory range assigned by the BIOS. Tunable value set to OFF (0) by default. -- cgit v1.3