case PCI_DEVICE_ID_INTEL_ESB2_18: 
static unsigned int __devinit init_chipset_piix (struct pci_dev *dev, const char *name){        switch(dev->device) {		case PCI_DEVICE_ID_INTEL_82801EB_1:		case PCI_DEVICE_ID_INTEL_82801AA_1:		case PCI_DEVICE_ID_INTEL_82801AB_1:		case PCI_DEVICE_ID_INTEL_82801BA_8:		case PCI_DEVICE_ID_INTEL_82801BA_9:		case PCI_DEVICE_ID_INTEL_82801CA_10:		case PCI_DEVICE_ID_INTEL_82801CA_11:		case PCI_DEVICE_ID_INTEL_82801DB_1:		case PCI_DEVICE_ID_INTEL_82801DB_10:		case PCI_DEVICE_ID_INTEL_82801DB_11:		case PCI_DEVICE_ID_INTEL_82801EB_11:		case PCI_DEVICE_ID_INTEL_82801E_11:		case PCI_DEVICE_ID_INTEL_ESB_2:		case PCI_DEVICE_ID_INTEL_ICH6_19:		case PCI_DEVICE_ID_INTEL_ICH7_21:		{			unsigned int extra = 0;			pci_read_config_dword(dev, 0x54, &extra);			pci_write_config_dword(dev, 0x54, extra|0x400);		}		default:			break;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/d69332b875efb52ea5276d5638ce572fcd7375f2/piix.c/buggy/drivers/ide/pci/piix.c