PCI_DEVICE_ID_I5000_BRANCH_0  852 drivers/edac/i5000_edac.c 			PCI_DEVICE_ID_I5000_BRANCH_0, pdev);
PCI_DEVICE_ID_I5000_BRANCH_0  858 drivers/edac/i5000_edac.c 			PCI_VENDOR_ID_INTEL, PCI_DEVICE_ID_I5000_BRANCH_0);