static int timer_suspend(struct sys_device *dev, u32 state) 
static int timer_suspend(struct sys_device *dev, pm_message_t state) 
static int timer_suspend(struct sys_device *dev, u32 state){	/*	 * Estimate time zone so that set_time can update the clock	 */	clock_cmos_diff = -get_cmos_time();	clock_cmos_diff += get_seconds();	sleep_start = get_cmos_time();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/438510f6f079e94df294936b5bd8a7fd679cd1c9/time.c/buggy/arch/i386/kernel/time.c