printk(KERN_CRIT "WATCHDOG: Device closed unexpectdly - "
printk(KERN_CRIT "WATCHDOG: Device closed unexpectedly - "
ixp2000_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;}