dev->is_enabled = 0; 
pci_disable_device(struct pci_dev *dev){	u16 pci_command;		dev->is_enabled = 0;	dev->is_busmaster = 0;	pci_read_config_word(dev, PCI_COMMAND, &pci_command);	if (pci_command & PCI_COMMAND_MASTER) {		pci_command &= ~PCI_COMMAND_MASTER;		pci_write_config_word(dev, PCI_COMMAND, pci_command);	}	pcibios_disable_device(dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/ceb43744cd48a20212e2179e0c7ff2f450a3c97e/pci.c/buggy/drivers/pci/pci.c