diff options
-rw-r--r-- | sys/dev/pci/pci.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/sys/dev/pci/pci.c b/sys/dev/pci/pci.c index b29d002..1a2119b 100644 --- a/sys/dev/pci/pci.c +++ b/sys/dev/pci/pci.c @@ -30,7 +30,6 @@ */ #include "opt_bus.h" -#include "opt_pci.h" #include <sys/param.h> #include <sys/systm.h> @@ -1196,12 +1195,6 @@ pci_alloc_resource(device_t dev, device_t child, int type, int *rid, pcicfgregs *cfg = &dinfo->cfg; /* - * You can share PCI interrupts. - */ - if (type == SYS_RES_IRQ) - flags |= RF_SHAREABLE; - - /* * Perform lazy resource allocation * * XXX add support here for SYS_RES_IOPORT and SYS_RES_MEMORY |