struct pci_dev *dev = NULL;  check_s7a();  for_each_pci_dev(dev) { pci_read_irq_line(dev); if (s7a_workaround) { if (dev->irq > 16) { dev->irq -= 3; pci_write_config_byte(dev, PCI_INTERRUPT_LINE, dev->irq); } } }  
void __init pSeries_final_fixup(void){	struct pci_dev *dev = NULL;	check_s7a();	for_each_pci_dev(dev) {		pci_read_irq_line(dev);		if (s7a_workaround) {			if (dev->irq > 16) {				dev->irq -= 3;				pci_write_config_byte(dev, PCI_INTERRUPT_LINE, dev->irq);			}		}	}	phbs_remap_io();	pSeries_request_regions();	pci_addr_cache_build();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dad32bbf43b496bcd32a83f73a1e7fd0a02cfd3e/pSeries_pci.c/buggy/arch/ppc64/kernel/pSeries_pci.c