s/hw.pci_allow_unsupported_io_range/hw.pci.allow_unsupported_io_range/

The former was incorrect and gave an `unknown oid' error.
This commit is contained in:
Tom Rhodes 2003-02-08 19:39:01 +00:00
parent 518536da5d
commit cbe0d0f670

View File

@ -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.