User`s manual

Watchdog Timer 69
MI-960
if(tempCount != 0)
{
printf("WDT timeout in %d seconds.\n",
tempCount);
registerValue |= 0x40; //Enable WDT
output through KBRST
}
else
{
printf("WDT is Disabled.\n");
registerValue &= 0xbf; //Disable WDT
output through KBRST
}
outportb(IT8712_ioPort+1, registerValue);
// set WDT count is second
}
outportb(IT8712_ioPort, 0x71);
registerValue = inportb(IT8712_ioPort + 1);
registerValue |= 0x60;// set Mouse & Keyboard
interrupt Enable
outportb(IT8712_ioPort+1, registerValue);
outportb(IT8712_ioPort, 0x73);
outportb(IT8712_ioPort+1, tempCount);
}