taglinefilesource code
irqmap55net/inet/hp.cstatic char irqmap[16] = { 0, 0, 4, 6, 8,10, 0,14, 0, 4, 2,12,0,0,0,0};
irqmap131net/inet/hp.coutb_p(irqmap[dev->irq] | HP_RUN, ioaddr + HP_CONFIGURE);
irqmap302net/inet/hp.coutb_p(irqmap[irq&0x0f] | HP_RUN,
irqmap185net/inet/wd.cint irqmap[] = {9,3,5,7,10,11,15,4};
irqmap191net/inet/wd.cdev->irq = irqmap[((reg4 >> 5) & 0x03) + (reg1 & 0x04)];