touch_softlockup_watchdog(); 
static int timer_resume(struct sys_device *dev){	unsigned long flags;	unsigned long sec;	unsigned long sleep_length;#ifdef CONFIG_HPET_TIMER	if (is_hpet_enabled())		hpet_reenable();#endif	setup_pit_timer();	sec = get_cmos_time() + clock_cmos_diff;	sleep_length = (get_cmos_time() - sleep_start) * HZ;	write_seqlock_irqsave(&xtime_lock, flags);	xtime.tv_sec = sec;	xtime.tv_nsec = 0;	write_sequnlock_irqrestore(&xtime_lock, flags);	jiffies += sleep_length;	wall_jiffies += sleep_length;	if (last_timer->resume)		last_timer->resume();	cur_timer = last_timer;	last_timer = NULL;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8446f1d391f3d27e6bf9c43d4cbcdac0ca720417/time.c/clean/arch/i386/kernel/time.c