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);