pcibios_penalize_isa_irq (int irq) 
pcibios_penalize_isa_irq (int irq, int active) 
pcibios_penalize_isa_irq (int irq){	/* We don't do dynamic PCI IRQ allocation */}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c9c3e457de24cca2ca688fa397d93a241f472048/pci.h/buggy/include/asm-ia64/pci.h