/* Reload the timer by writing to the TCO Timer Reload register */ 
static int tco_timer_keepalive (void){	spin_lock(&tco_lock);	outb (0x01, TCO1_RLD);	spin_unlock(&tco_lock);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/01df0e3a79d3913df178e9a1047ade425a7c118f/i8xx_tco.c/buggy/drivers/char/watchdog/i8xx_tco.c