if (*ppos != file->f_pos) return -ESPIPE;  
static ssize_t mv64x60_wdt_write(struct file *file, const char *data,				 size_t len, loff_t * ppos){	if (*ppos != file->f_pos)		return -ESPIPE;	if (len)		mv64x60_wdt_service();	return len;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b2846dfa4aa1bbbf3f9977d67566952d7f621009/mv64x60_wdt.c/buggy/drivers/char/watchdog/mv64x60_wdt.c