printk(KERN_CRIT "WATCHDOG: Device closed unexpectdly - " 
printk(KERN_CRIT "WATCHDOG: Device closed unexpectedly - " 
ixp4xx_wdt_release(struct inode *inode, struct file *file){	if (test_bit(WDT_OK_TO_CLOSE, &wdt_status)) {		wdt_disable();	} else {		printk(KERN_CRIT "WATCHDOG: Device closed unexpectdly - "					"timer will not stop\n");	}	clear_bit(WDT_IN_USE, &wdt_status);	clear_bit(WDT_OK_TO_CLOSE, &wdt_status);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b36bbb6c3d5244eaf52241ec69f79494137f2db0/ixp4xx_wdt.c/clean/drivers/char/watchdog/ixp4xx_wdt.c