if (irq < 16) pirq_penalty[irq] += 100; 
if (irq < 16) { if (active) pirq_penalty[irq] += 1000; else pirq_penalty[irq] += 100; } 
static void pirq_penalize_isa_irq(int irq){	/*	 *  If any ISAPnP device reports an IRQ in its list of possible	 *  IRQ's, we try to avoid assigning it to PCI devices.	 */	if (irq < 16)		pirq_penalty[irq] += 100;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c9c3e457de24cca2ca688fa397d93a241f472048/irq.c/clean/arch/i386/pci/irq.c