dev->is_enabled = 1; 
pci_enable_device(struct pci_dev *dev){	int err;	dev->is_enabled = 1;	if ((err = pci_enable_device_bars(dev, (1 << PCI_NUM_RESOURCES) - 1)))		return err;	pci_fixup_device(pci_fixup_enable, dev);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ceb43744cd48a20212e2179e0c7ff2f450a3c97e/pci.c/buggy/drivers/pci/pci.c