diff options
| author | Bernd Walter <ticso@FreeBSD.org> | 2005-02-07 00:43:14 +0000 |
|---|---|---|
| committer | Bernd Walter <ticso@FreeBSD.org> | 2005-02-07 00:43:14 +0000 |
| commit | b542a023e588ac247ef854dad63e2992de10014d (patch) | |
| tree | 9d5a54b739adf926cdafc244ffe2525fc62e2b25 /sys/dev/pci | |
| parent | a15fbb42c33c6f5ccc5a3fc9c06991148293043f (diff) | |
Notes
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. |