if (num_online_cpus() > 1 && boot_cpu_data.x86_vendor == X86_VENDOR_AMD) notsc = 1;  if (oem_force_hpet_timer())
if (unsynchronized_tsc())
void __init time_init_gtod(void){	char *timetype;	/*	 * AMD systems with more than one CPU don't have fully synchronized	 * TSCs. Always use HPET gettimeofday for these, although it is slower.	 * Intel SMP systems usually have synchronized TSCs, so use always	 * the TSC.	 *	 * Exceptions:	 * IBM Summit2 checked by oem_force_hpet_timer(). 	 * AMD dual core may also not need HPET. Check me.	 *	 * Can be turned off with "notsc".	 */	if (num_online_cpus() > 1 &&	    boot_cpu_data.x86_vendor == X86_VENDOR_AMD)		notsc = 1;	/* Some systems will want to disable TSC and use HPET. */	if (oem_force_hpet_timer())		notsc = 1;	if (vxtime.hpet_address && notsc) {		timetype = "HPET";		vxtime.last = hpet_readl(HPET_T0_CMP) - hpet_tick;		vxtime.mode = VXTIME_HPET;		do_gettimeoffset = do_gettimeoffset_hpet;	} else {		timetype = vxtime.hpet_address ? "HPET/TSC" : "PIT/TSC";		vxtime.mode = VXTIME_TSC;	}	printk(KERN_INFO "time.c: Using %s based timekeeping.\n", timetype);}