MIC_X100_PCI_DEVICE_2251   24 drivers/misc/mic/host/mic_main.c 	{PCI_DEVICE(PCI_VENDOR_ID_INTEL, MIC_X100_PCI_DEVICE_2251)},
MIC_X100_PCI_DEVICE_2251  108 drivers/misc/mic/host/mic_main.c 	case MIC_X100_PCI_DEVICE_2251: