cpu_get_sibling_core
core_cpus[1] = cpu_get_sibling_core(core_cpus[0]);
static cpu_t *cpu_get_sibling_core(cpu_t *cpup);