John Baldwin 8ff25e9763 Put verbose printf's in the PCI BIOS interrupt routing code under ... if (bootverbose).		2002-09-23 18:13:42 +00:00
..
pci_bus.c	Change the nexus_pcib driver (eventually to be renamed to legacy_pcib) to	2002-09-23 15:52:30 +00:00
pci_cfgreg.c	Put verbose printf's in the PCI BIOS interrupt routing code under	2002-09-23 18:13:42 +00:00
pci_pir.c	Put verbose printf's in the PCI BIOS interrupt routing code under	2002-09-23 18:13:42 +00:00