get_core_id
unsigned int core_id = get_core_id();
sib_core = get_core_id(so);
cpus[i].core_id = get_core_id(i);