acpi_penalize_isa_irq(irq); 
acpi_penalize_isa_irq(irq, active); 
void pcibios_penalize_isa_irq(int irq){#ifdef CONFIG_ACPI_PCI	if (!acpi_noirq)		acpi_penalize_isa_irq(irq);	else#endif		pirq_penalize_isa_irq(irq);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c9c3e457de24cca2ca688fa397d93a241f472048/irq.c/clean/arch/i386/pci/irq.c