phys_proc_id[smp_processor_id()] = #endif cpu_core_id[smp_processor_id()] = (cpuid_ebx(1) >> 24) & 0xff; 
phys_proc_id[smp_processor_id()] = (cpuid_ebx(1) >> 24) & 0xff; 
static void __init early_cpu_detect(void){	struct cpuinfo_x86 *c = &boot_cpu_data;	c->x86_cache_alignment = 32;	if (!have_cpuid_p())		return;	/* Get vendor name */	cpuid(0x00000000, &c->cpuid_level,	      (int *)&c->x86_vendor_id[0],	      (int *)&c->x86_vendor_id[8],	      (int *)&c->x86_vendor_id[4]);	get_cpu_vendor(c, 1);	c->x86 = 4;	if (c->cpuid_level >= 0x00000001) {		u32 junk, tfms, cap0, misc;		cpuid(0x00000001, &tfms, &misc, &junk, &cap0);		c->x86 = (tfms >> 8) & 15;		c->x86_model = (tfms >> 4) & 15;		if (c->x86 == 0xf) {			c->x86 += (tfms >> 20) & 0xff;			c->x86_model += ((tfms >> 16) & 0xF) << 4;		}		c->x86_mask = tfms & 15;		if (cap0 & (1<<19))			c->x86_cache_alignment = ((misc >> 8) & 0xff) * 8;	}	early_intel_workaround(c);#ifdef CONFIG_SMP#ifdef CONFIG_X86_HT	phys_proc_id[smp_processor_id()] =#endif	cpu_core_id[smp_processor_id()] = (cpuid_ebx(1) >> 24) & 0xff;#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b41e29398a873945d02e0009ce7e57608fdb4042/common.c/buggy/arch/i386/kernel/cpu/common.c