get_i7core_dev   1363 drivers/edac/i7core_edac.c 	i7core_dev = get_i7core_dev(socket);
get_i7core_dev   1818 drivers/edac/i7core_edac.c 	i7_dev = get_i7core_dev(mce->socketid);