diff options
Diffstat (limited to 'sys/dev/pci/pci.c')
| -rw-r--r-- | sys/dev/pci/pci.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c index d9a5e62..053cf58 100644 --- a/sys/dev/pci/pci.c +++ b/sys/dev/pci/pci.c @@ -919,7 +919,8 @@ 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__) +#if defined(__ia64__) || defined(__i386__) || defined(__amd64__) || \ + defined(__arm__) /* * Try to re-route interrupts. Sometimes the BIOS or * firmware may leave bogus values in these registers. |
