get_paca()->next_jiffy_update_tb = tb_last_stamp + tb_ticks_per_jiffy; 
void __init time_init(void){	/* This function is only called on the boot processor */	unsigned long flags;	struct rtc_time tm;	struct div_result res;	unsigned long scale, shift;	ppc_md.calibrate_decr();	/*	 * Compute scale factor for sched_clock.	 * The calibrate_decr() function has set tb_ticks_per_sec,	 * which is the timebase frequency.	 * We compute 1e9 * 2^64 / tb_ticks_per_sec and interpret	 * the 128-bit result as a 64.64 fixed-point number.	 * We then shift that number right until it is less than 1.0,	 * giving us the scale factor and shift count to use in	 * sched_clock().	 */	div128_by_32(1000000000, 0, tb_ticks_per_sec, &res);	scale = res.result_low;	for (shift = 0; res.result_high != 0; ++shift) {		scale = (scale >> 1) | (res.result_high << 63);		res.result_high >>= 1;	}	tb_to_ns_scale = scale;	tb_to_ns_shift = shift;#ifdef CONFIG_PPC_ISERIES	if (!piranha_simulator)#endif		ppc_md.get_boot_time(&tm);	write_seqlock_irqsave(&xtime_lock, flags);	xtime.tv_sec = mktime(tm.tm_year + 1900, tm.tm_mon + 1, tm.tm_mday,			      tm.tm_hour, tm.tm_min, tm.tm_sec);	tb_last_stamp = get_tb();	do_gtod.varp = &do_gtod.vars[0];	do_gtod.var_idx = 0;	do_gtod.varp->tb_orig_stamp = tb_last_stamp;	do_gtod.varp->stamp_xsec = xtime.tv_sec * XSEC_PER_SEC;	do_gtod.tb_ticks_per_sec = tb_ticks_per_sec;	do_gtod.varp->tb_to_xs = tb_to_xs;	do_gtod.tb_to_us = tb_to_us;	systemcfg->tb_orig_stamp = tb_last_stamp;	systemcfg->tb_update_count = 0;	systemcfg->tb_ticks_per_sec = tb_ticks_per_sec;	systemcfg->stamp_xsec = xtime.tv_sec * XSEC_PER_SEC;	systemcfg->tb_to_xs = tb_to_xs;	time_freq = 0;	xtime.tv_nsec = 0;	last_rtc_update = xtime.tv_sec;	set_normalized_timespec(&wall_to_monotonic,	                        -xtime.tv_sec, -xtime.tv_nsec);	write_sequnlock_irqrestore(&xtime_lock, flags);	/* Not exact, but the timer interrupt takes care of this */	set_dec(tb_ticks_per_jiffy);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/8f80e5c911465743ccd3a328f992c7d8aaebf1e8/time.c/clean/arch/ppc64/kernel/time.c