nonseekable_open(inode, file);  
static int mv64x60_wdt_open(struct inode *inode, struct file *file){	if (test_and_set_bit(MV64x60_WDOG_FLAG_OPENED, &wdt_flags))		return -EBUSY;	mv64x60_wdt_service();	mv64x60_wdt_handler_enable();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b2846dfa4aa1bbbf3f9977d67566952d7f621009/mv64x60_wdt.c/buggy/drivers/char/watchdog/mv64x60_wdt.c