static int tco_timer_start (void){	unsigned char val;	spin_lock(&tco_lock);	val = inb (TCO1_CNT + 1);	val &= 0xf7;	outb (val, TCO1_CNT + 1);	val = inb (TCO1_CNT + 1);	spin_unlock(&tco_lock);	if (val & 0x08)		return -1;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/01df0e3a79d3913df178e9a1047ade425a7c118f/i8xx_tco.c/buggy/drivers/char/watchdog/i8xx_tco.c