DBG("iommu_dev_setup_pSeries, dev %p (%s) has no iommu table\n", dev, dev->pretty_name); 
DBG("iommu_dev_setup_pSeries, dev %p (%s) has no iommu table\n", dev, pci_name(dev)); 
static void iommu_dev_setup_pSeries(struct pci_dev *dev){	struct device_node *dn, *mydn;	struct iommu_table *tbl;	DBG("iommu_dev_setup_pSeries, dev %p (%s)\n", dev, dev->pretty_name);	mydn = dn = pci_device_to_OF_node(dev);	/* If we're the direct child of a root bus, then we need to allocate	 * an iommu table ourselves. The bus setup code should have setup	 * the window sizes already.	 */	if (!dev->bus->self) {		DBG(" --> first child, no bridge. Allocating iommu table.\n");		tbl = kmalloc(sizeof(struct iommu_table), GFP_KERNEL);		iommu_table_setparms(PCI_DN(dn)->phb, dn, tbl);		PCI_DN(mydn)->iommu_table = iommu_init_table(tbl);		return;	}	/* If this device is further down the bus tree, search upwards until	 * an already allocated iommu table is found and use that.	 */	while (dn && dn->data && PCI_DN(dn)->iommu_table == NULL)		dn = dn->parent;	if (dn && dn->data) {		PCI_DN(mydn)->iommu_table = PCI_DN(dn)->iommu_table;	} else {		DBG("iommu_dev_setup_pSeries, dev %p (%s) has no iommu table\n", dev, dev->pretty_name);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f951da3757cf46444a6ea52e97b8aa9400fe761a/pSeries_iommu.c/buggy/arch/ppc64/kernel/pSeries_iommu.c