sprintf(&device->bus_id[0], "pcie%02x", 
sprintf(&device->bus_id[0], "pcie%02x", 
static void pcie_device_init(struct pci_dev *parent, struct pcie_device *dev, 	int port_type, int service_type, int irq, int irq_mode){	struct device *device;	dev->port = parent;	dev->interrupt_mode = irq_mode;	dev->irq = irq;	dev->id.vendor = parent->vendor;	dev->id.device = parent->device;	dev->id.port_type = port_type;	dev->id.service_type = (1 << service_type);	/* Initialize generic device interface */	device = &dev->device;	memset(device, 0, sizeof(struct device));	INIT_LIST_HEAD(&device->node);	INIT_LIST_HEAD(&device->children);	INIT_LIST_HEAD(&device->bus_list);	device->bus = &pcie_port_bus_type;	device->driver = NULL;	device->driver_data = NULL; 	device->release = release_pcie_device;	/* callback to free pcie dev */	sprintf(&device->bus_id[0], "pcie%02x", 		get_descriptor_id(port_type, service_type));	device->parent = &parent->dev;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d0e2b4a0a9dd3eed71b56c47268bf4e40cff6d0f/portdrv_core.c/buggy/drivers/pci/pcie/portdrv_core.c