···275275 dev->base_addr = ioaddr+WD_NIC_OFFSET;276276277277 if (dev->irq < 2) {278278- int irqmap[] = {9,3,5,7,10,11,15,4};278278+ static const int irqmap[] = {9, 3, 5, 7, 10, 11, 15, 4};279279 int reg1 = inb(ioaddr+1);280280 int reg4 = inb(ioaddr+4);281281 if (ancient || reg1 == 0xff) { /* Ack!! No way to read the IRQ! */