 #ifdef CONFIG_X86_LOCAL_APIC if (enable_local_apic >= 0) late_time_init = APIC_late_time_init; #endif 
void __init time_init(void){#ifdef CONFIG_HPET_TIMER	if (is_hpet_capable()) {		/*		 * HPET initialization needs to do memory-mapped io. So, let		 * us do a late initialization after mem_init().		 */		late_time_init = hpet_time_init;		return;	}#endif	xtime.tv_sec = get_cmos_time();	xtime.tv_nsec = (INITIAL_JIFFIES % HZ) * (NSEC_PER_SEC / HZ);	set_normalized_timespec(&wall_to_monotonic,		-xtime.tv_sec, -xtime.tv_nsec);	cur_timer = select_timer();	printk(KERN_INFO "Using %s for high-res timesource\n",cur_timer->name);	time_init_hook();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f2b36db692b7ff6972320ad9839ae656a3b0ee3e/time.c/clean/arch/i386/kernel/time.c