#ifdef CONFIG_SMP int cpu = smp_processor_id(); int node = 0; unsigned bits; if (c->x86_num_cores == 1) return;  bits = 0; while ((1 << bits) < c->x86_num_cores) bits++;  /* Low order bits define the core id (index of core in socket) */ cpu_core_id[cpu] = phys_proc_id[cpu] & ((1 << bits)-1); /* Convert the APIC ID into the socket ID */ phys_proc_id[cpu] >>= bits;  #ifdef CONFIG_NUMA /* When an ACPI SRAT table is available use the mappings from SRAT instead. */ if (acpi_numa <= 0) { node = phys_proc_id[cpu]; if (!node_online(node)) node = first_node(node_online_map); cpu_to_node[cpu] = node; } else { node = cpu_to_node[cpu]; } #endif  printk(KERN_INFO "CPU %d(%d) -> Node %d -> Core %d\n", cpu, c->x86_num_cores, node, cpu_core_id[cpu]); #endif 
static void __init amd_detect_cmp(struct cpuinfo_x86 *c){}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b41e29398a873945d02e0009ce7e57608fdb4042/setup.c/buggy/arch/x86_64/kernel/setup.c