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/visws.c/buggy/arch/i386/pci/visws.c