inline void pcibios_penalize_isa_irq(int irq) {} 
inline void pcibios_penalize_isa_irq(int irq, int active) {} 
inline void pcibios_penalize_isa_irq(int irq) {}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9a14d4c898285623d1f5c338b659fa82cf4480fb/rsparser.c/buggy/drivers/pnp/pnpbios/rsparser.c