diff options
Diffstat (limited to 'sys/dev/pci')
| -rw-r--r-- | sys/dev/pci/pci.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c index 4a76443c27a5..c7c070e03948 100644 --- a/sys/dev/pci/pci.c +++ b/sys/dev/pci/pci.c @@ -945,7 +945,7 @@ pci_add_resources(device_t pcib, device_t bus, device_t dev) if (cfg->intpin > 0 && PCI_INTERRUPT_VALID(cfg->intline)) { #if defined(__ia64__) || defined(__i386__) || defined(__amd64__) || \ - defined(__arm__) + defined(__arm__) || defined(__alpha__) /* * Try to re-route interrupts. Sometimes the BIOS or * firmware may leave bogus values in these registers. |