case PCI_DEVICE_ID_SERVERWORKS_HT1000IDE: 
static u8 svwks_csb_check (struct pci_dev *dev){	switch (dev->device) {		case PCI_DEVICE_ID_SERVERWORKS_CSB5IDE:		case PCI_DEVICE_ID_SERVERWORKS_CSB6IDE:		case PCI_DEVICE_ID_SERVERWORKS_CSB6IDE2:			return 1;		default:			break;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/84f57fbc724e3b56dc87c37dddac89f82cf75ef6/serverworks.c/buggy/drivers/ide/pci/serverworks.c