PCI_DEVICE_ID_I5000_BRANCH_1  873 drivers/edac/i5000_edac.c 				PCI_DEVICE_ID_I5000_BRANCH_1, pdev);
PCI_DEVICE_ID_I5000_BRANCH_1  881 drivers/edac/i5000_edac.c 				PCI_DEVICE_ID_I5000_BRANCH_1);