ADLINK Technology cPCI-6620 Series, User Manual

Page: 47 / 80

Drivers & Utilities 35
cPCI-6620
outportb(IT87831, registerValue);
// set WDT count is minute
tempCount = count_value / 60;
if((count_value%60) > 30)
te+;
if(tempCount > 65535)
tempCount = 65535;
printf("WDT timeout in %d minutes.\n",
tempCount);
}
else
{
outportb(IT8783_ioPort, 0x72);
registerValue = inportb(IT87831);
registerValue |= 0x80;
tempCount = count_value;
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(IT87831, registerValue);
// set WDT count is second
}
}