get_mci_for_node_id
new_mci = get_mci_for_node_id(*socket, sad_ha);
new_mci = get_mci_for_node_id(*socket, *ha);
new_mci = get_mci_for_node_id(socket, ha);
mci = get_mci_for_node_id(mce->socketid, IMC0);