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