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