Symbol: get_i7core_dev
drivers/edac/i7core_edac.c
1353
i7core_dev = get_i7core_dev(socket);
drivers/edac/i7core_edac.c
1808
i7_dev = get_i7core_dev(mce->socketid);