void __init pcibios_penalize_isa_irq(int irq) 
void __init pcibios_penalize_isa_irq(int irq, int active) 
void __init pcibios_penalize_isa_irq(int irq){}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c9c3e457de24cca2ca688fa397d93a241f472048/pci-irq.c/buggy/arch/frv/mb93090-mb00/pci-irq.c