From a067d210323dd13f17b59726847cfd77b538eeb7 Mon Sep 17 00:00:00 2001 From: Doug Rabson Date: Sun, 7 Oct 2001 18:25:43 +0000 Subject: [PATCH] Make the interrupt routing a bit less chatty unless bootverbose is set. --- sys/dev/acpica/acpi_pcib.c | 8 +++++--- 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; }