touch_softlockup_watchdog(); 
static int timer_resume(struct sys_device *dev){	unsigned long flags;	unsigned long sec;	unsigned long ctime = get_cmos_time();	unsigned long sleep_length = (ctime - sleep_start) * HZ;	if (vxtime.hpet_address)		hpet_reenable();	else		i8254_timer_resume();	sec = ctime + clock_cmos_diff;	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;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8446f1d391f3d27e6bf9c43d4cbcdac0ca720417/time.c/clean/arch/x86_64/kernel/time.c