/* All in a single socket - should be synchronized */ if (cpus_weight(cpu_core_map[0]) == num_online_cpus()) return 0; 
static __init int unsynchronized_tsc(void){#ifdef CONFIG_SMP	if (oem_force_hpet_timer())		return 1; 	/* Intel systems are normally all synchronized. Exceptions 	   are handled in the OEM check above. */ 	if (boot_cpu_data.x86_vendor == X86_VENDOR_INTEL) 		return 0; 	/* All in a single socket - should be synchronized */ 	if (cpus_weight(cpu_core_map[0]) == num_online_cpus()) 		return 0;#endif 	/* Assume multi socket systems are not synchronized */ 	return num_online_cpus() > 1;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6c132b5fe6579ed4b4892c02fe6c05f7e3afc579/time.c/buggy/arch/x86_64/kernel/time.c