#if CONFIG_XTENSA_CALIBRATE_CCOUNT 
#ifdef CONFIG_XTENSA_CALIBRATE_CCOUNT 
void __init time_init(void){	time_t sec_o, sec_n = 0;	/* The platform must provide a function to calibrate the processor	 * speed for the CALIBRATE.	 */#if CONFIG_XTENSA_CALIBRATE_CCOUNT	printk("Calibrating CPU frequency ");	platform_calibrate_ccount();	printk("%d.%02d MHz\n", (int)ccount_per_jiffy/(1000000/HZ),			(int)(ccount_per_jiffy/(10000/HZ))%100);#endif	/* Set time from RTC (if provided) */	if (platform_get_rtc_time(&sec_o) == 0)		while (platform_get_rtc_time(&sec_n))			if (sec_o != sec_n)				break;	xtime.tv_nsec = 0;	last_rtc_update = xtime.tv_sec = sec_n;	last_ccount_stamp = get_ccount();	set_normalized_timespec(&wall_to_monotonic,		-xtime.tv_sec, -xtime.tv_nsec);	/* Initialize the linux timer interrupt. */	setup_irq(LINUX_TIMER_INT, &timer_irqaction);	set_linux_timer(get_ccount() + CCOUNT_PER_JIFFY);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/288a60cf4d7cc35f84f46cd8ffd0b34f9d8e7346/time.c/buggy/arch/xtensa/kernel/time.c