if (level == SUSPEND_DISABLE) { del_timer_sync(&i8042_timer); i8042_controller_reset(); } 
del_timer_sync(&i8042_timer); i8042_controller_reset(); 
static int i8042_suspend(struct device *dev, pm_message_t state, u32 level){	if (level == SUSPEND_DISABLE) {		del_timer_sync(&i8042_timer);		i8042_controller_reset();	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/9480e307cd88ef09ec9294c7d97ebec18e6d2221/i8042.c/buggy/drivers/input/serio/i8042.c