diff options
| author | Doug Rabson <dfr@FreeBSD.org> | 2001-10-07 18:25:43 +0000 |
|---|---|---|
| committer | Doug Rabson <dfr@FreeBSD.org> | 2001-10-07 18:25:43 +0000 |
| commit | a067d210323dd13f17b59726847cfd77b538eeb7 (patch) | |
| tree | 8e2b0fed3764c27cc0be17945ccbc6b289e3a565 /sys/dev | |
| parent | 71793c0dc46785856f64881792dbda3323ed7793 (diff) | |
Notes
Diffstat (limited to 'sys/dev')
| -rw-r--r-- | sys/dev/acpica/acpi_pcib.c | 8 | ||||
| -rw-r--r-- | sys/dev/acpica/acpi_pcib_acpi.c | 8 |
2 files changed, 10 insertions, 6 deletions
diff --git a/sys/dev/acpica/acpi_pcib.c b/sys/dev/acpica/acpi_pcib.c index d3c1ed12649d..87dfd48e6717 100644 --- a/sys/dev/acpica/acpi_pcib.c +++ b/sys/dev/acpica/acpi_pcib.c @@ -339,8 +339,9 @@ acpi_pcib_route_interrupt(device_t pcib, device_t dev, int pin) */ if ((((prt->Address & 0xffff0000) >> 16) == pci_get_slot(dev)) && (prt->Pin == pin)) { - device_printf(sc->ap_dev, "matched entry for %d.%d.INT%c (source %s)\n", - pci_get_bus(dev), pci_get_slot(dev), 'A' + pin, prt->Source); + if (bootverbose) + device_printf(sc->ap_dev, "matched entry for %d.%d.INT%c (source %s)\n", + pci_get_bus(dev), pci_get_slot(dev), 'A' + pin, prt->Source); break; } @@ -352,7 +353,8 @@ acpi_pcib_route_interrupt(device_t pcib, device_t dev, int pin) * If source is empty/NULL, the source index is the global IRQ number. */ if ((prt->Source == NULL) || (prt->Source[0] == '\0')) { - device_printf(sc->ap_dev, "device is hardwired to IRQ %d\n", prt->SourceIndex); + if (bootverbose) + device_printf(sc->ap_dev, "device is hardwired to IRQ %d\n", prt->SourceIndex); interrupt = prt->SourceIndex; goto out; } diff --git a/sys/dev/acpica/acpi_pcib_acpi.c b/sys/dev/acpica/acpi_pcib_acpi.c index d3c1ed12649d..87dfd48e6717 100644 --- a/sys/dev/acpica/acpi_pcib_acpi.c +++ b/sys/dev/acpica/acpi_pcib_acpi.c @@ -339,8 +339,9 @@ acpi_pcib_route_interrupt(device_t pcib, device_t dev, int pin) */ if ((((prt->Address & 0xffff0000) >> 16) == pci_get_slot(dev)) && (prt->Pin == pin)) { - device_printf(sc->ap_dev, "matched entry for %d.%d.INT%c (source %s)\n", - pci_get_bus(dev), pci_get_slot(dev), 'A' + pin, prt->Source); + if (bootverbose) + device_printf(sc->ap_dev, "matched entry for %d.%d.INT%c (source %s)\n", + pci_get_bus(dev), pci_get_slot(dev), 'A' + pin, prt->Source); break; } @@ -352,7 +353,8 @@ acpi_pcib_route_interrupt(device_t pcib, device_t dev, int pin) * If source is empty/NULL, the source index is the global IRQ number. */ if ((prt->Source == NULL) || (prt->Source[0] == '\0')) { - device_printf(sc->ap_dev, "device is hardwired to IRQ %d\n", prt->SourceIndex); + if (bootverbose) + device_printf(sc->ap_dev, "device is hardwired to IRQ %d\n", prt->SourceIndex); interrupt = prt->SourceIndex; goto out; } |