diff options
| author | John Baldwin <jhb@FreeBSD.org> | 2004-07-01 07:46:29 +0000 |
|---|---|---|
| committer | John Baldwin <jhb@FreeBSD.org> | 2004-07-01 07:46:29 +0000 |
| commit | 39981fed8268fafa88e853bdf2b39d406b319dca (patch) | |
| tree | 21d778c675dd108d89c9cdf1b6991ddb90939ee8 /sys/dev/pci | |
| parent | 251bedd15b2e551bb3f95fa3b3e38226d60cf0f1 (diff) | |
Notes
Diffstat (limited to 'sys/dev/pci')
| -rw-r--r-- | sys/dev/pci/pci_pci.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/dev/pci/pci_pci.c b/sys/dev/pci/pci_pci.c index 40e1934029a6..43114d774199 100644 --- a/sys/dev/pci/pci_pci.c +++ b/sys/dev/pci/pci_pci.c @@ -475,7 +475,7 @@ pcib_route_interrupt(device_t pcib, device_t dev, int pin) */ bus = device_get_parent(pcib); intnum = PCIB_ROUTE_INTERRUPT(device_get_parent(bus), pcib, parent_intpin + 1); - if (PCI_INTERRUPT_VALID(intnum)) { + if (PCI_INTERRUPT_VALID(intnum) && bootverbose) { device_printf(pcib, "slot %d INT%c is routed to irq %d\n", pci_get_slot(dev), 'A' + pin - 1, intnum); } |