unsigned char val;
unsigned char val, val1;
static int tco_timer_stop (void){	unsigned char val;	spin_lock(&tco_lock);	val = inb (TCO1_CNT + 1);	val |= 0x08;	outb (val, TCO1_CNT + 1);	val = inb (TCO1_CNT + 1);	spin_unlock(&tco_lock);	if ((val & 0x08) == 0)		return -1;	return 0;}