Searched refs:core_0_id (Results 1 – 1 of 1) sorted by relevance
1219 processorid_t core_0_id; in cpu_scrub_cpu_setup() local1245 core_0_id = cmp_cpu_to_chip(cpuid); in cpu_scrub_cpu_setup()1246 core_cpus[0] = cpu_get(core_0_id); in cpu_scrub_cpu_setup()