hpet_writel(hpet_tick, HPET_T0_CMP); hpet_writel(hpet_tick, HPET_T0_CMP); /* AK: why twice? */  
hpet_writel(hpet_tick, HPET_T0_CMP); hpet_writel(hpet_tick, HPET_T0_CMP); /* AK: why twice? */ cfg |= HPET_CFG_LEGACY; } 
static int hpet_timer_stop_set_go(unsigned long tick){	unsigned int cfg;/* * Stop the timers and reset the main counter. */	cfg = hpet_readl(HPET_CFG);	cfg &= ~(HPET_CFG_ENABLE | HPET_CFG_LEGACY);	hpet_writel(cfg, HPET_CFG);	hpet_writel(0, HPET_COUNTER);	hpet_writel(0, HPET_COUNTER + 4);/* * Set up timer 0, as periodic with first interrupt to happen at hpet_tick, * and period also hpet_tick. */	hpet_writel(HPET_TN_ENABLE | HPET_TN_PERIODIC | HPET_TN_SETVAL |		    HPET_TN_32BIT, HPET_T0_CFG);	hpet_writel(hpet_tick, HPET_T0_CMP);	hpet_writel(hpet_tick, HPET_T0_CMP); /* AK: why twice? *//* * Go! */	cfg |= HPET_CFG_ENABLE | HPET_CFG_LEGACY;	hpet_writel(cfg, HPET_CFG);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a3a00751ad8970c13d0563c2e92ee68c655a8e6b/time.c/clean/arch/x86_64/kernel/time.c