diff options
Diffstat (limited to 'i386/i386at/autoconf.c')
| -rw-r--r-- | i386/i386at/autoconf.c | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/i386/i386at/autoconf.c b/i386/i386at/autoconf.c index 8dc0b3ea..ef813d92 100644 --- a/i386/i386at/autoconf.c +++ b/i386/i386at/autoconf.c @@ -26,6 +26,7 @@ #include <kern/printf.h> #include <mach/std_types.h> +#include <i386at/autoconf.h> #include <i386/irq.h> #include <i386/ipl.h> #include <chips/busses.h> @@ -140,18 +141,3 @@ void take_dev_irq( } } - -void take_ctlr_irq( - const struct bus_ctlr *ctlr) -{ - int pic = ctlr->sysdep1; - if (ivect[pic] == intnull) { - iunit[pic] = ctlr->unit; - ivect[pic] = ctlr->intr; - } else { - printf("The device below will clobber IRQ %d (%p).\n", pic, ivect[pic]); - printf("You have two devices at the same IRQ. This won't work.\n"); - printf("Reconfigure your hardware and try again.\n"); - while (1); - } -} |