timetype = "HPET"; 
timetype = hpet_use_timer ? "HPET" : "PIT/HPET"; 
void __init time_init_gtod(void){	char *timetype;	if (unsynchronized_tsc())		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;#ifdef CONFIG_X86_PM_TIMER	/* Using PM for gettimeofday is quite slow, but we have no other	   choice because the TSC is too unreliable on some systems. */	} else if (pmtmr_ioport && !vxtime.hpet_address && notsc) {		timetype = "PM";		do_gettimeoffset = do_gettimeoffset_pm;		vxtime.mode = VXTIME_PMTMR;		sysctl_vsyscall = 0;		printk(KERN_INFO "Disabling vsyscall due to use of PM timer\n");#endif	} else {		timetype = vxtime.hpet_address ? "HPET/TSC" : "PIT/TSC";		vxtime.mode = VXTIME_TSC;	}	printk(KERN_INFO "time.c: Using %s based timekeeping.\n", timetype);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a3a00751ad8970c13d0563c2e92ee68c655a8e6b/time.c/buggy/arch/x86_64/kernel/time.c