pci_name_device(dev); 
fixup_broken_pcnet32(struct pci_dev* dev){	if ((dev->class>>8 == PCI_CLASS_NETWORK_ETHERNET)) {		dev->vendor = PCI_VENDOR_ID_AMD;		pci_write_config_word(dev, PCI_VENDOR_ID, PCI_VENDOR_ID_AMD);		pci_name_device(dev);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8fdc23ee1ab7c1f8f1dd40602f62b9cc84072531/pci.c/buggy/arch/ppc/kernel/pci.c