iSeries_Device_Information(pdev, Buffer, sizeof(Buffer)); printk("%d. %s\n", DeviceCount, Buffer); 
iSeries_Device_Information(pdev, DeviceCount); 
void __init iSeries_pci_final_fixup(void){	struct pci_dev *pdev = NULL;	struct iSeries_Device_Node *node;	char Buffer[256];    	int DeviceCount = 0;	PPCDBG(PPCDBG_BUSWALK, "iSeries_pcibios_fixup Entry.\n"); 	/* Fix up at the device node and pci_dev relationship */	mf_display_src(0xC9000100);	printk("pcibios_final_fixup\n");	for_each_pci_dev(pdev) {		node = find_Device_Node(pdev->bus->number, pdev->devfn);		printk("pci dev %p (%x.%x), node %p\n", pdev,		       pdev->bus->number, pdev->devfn, node);		if (node != NULL) {			++DeviceCount;			pdev->sysdata = (void *)node;			node->PciDev = pdev;			PPCDBG(PPCDBG_BUSWALK,					"pdev 0x%p <==> DevNode 0x%p\n",					pdev, node);			allocate_device_bars(pdev);			iSeries_Device_Information(pdev, Buffer,					sizeof(Buffer));			printk("%d. %s\n", DeviceCount, Buffer);			iommu_devnode_init_iSeries(node);		} else			printk("PCI: Device Tree not found for 0x%016lX\n",					(unsigned long)pdev);		pdev->irq = node->Irq;	}	iSeries_activate_IRQs();	mf_display_src(0xC9000200);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/061c063efce96b33f9e26d5f83a8eb0643fa493c/iSeries_pci.c/buggy/arch/ppc64/kernel/iSeries_pci.c