diff options
author | dfr <dfr@FreeBSD.org> | 2001-10-07 18:25:43 +0000 |
---|---|---|
committer | dfr <dfr@FreeBSD.org> | 2001-10-07 18:25:43 +0000 |
commit | 9fcab64afc2f854b238c12899cb2ed45df6b8a69 (patch) | |
tree | 8e2b0fed3764c27cc0be17945ccbc6b289e3a565 /sys | |
parent | 0248c018c415ad1e0751b80049062db1a862a690 (diff) | |
download | FreeBSD-src-9fcab64afc2f854b238c12899cb2ed45df6b8a69.zip FreeBSD-src-9fcab64afc2f854b238c12899cb2ed45df6b8a69.tar.gz |
Make the interrupt routing a bit less chatty unless bootverbose is set.
Diffstat (limited to 'sys')
-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 d3c1ed1..87dfd48 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 d3c1ed1..87dfd48 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; } |