void acpi_penalize_isa_irq(int irq) 
void acpi_penalize_isa_irq(int irq, int active) 
void acpi_penalize_isa_irq(int irq){	acpi_irq_penalty[irq] += PIRQ_PENALTY_PCI_USING;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c9c3e457de24cca2ca688fa397d93a241f472048/pci_link.c/clean/drivers/acpi/pci_link.c