ADLINK Technology cPCI-6530BL Series, User Manual

Page: 75 / 137

Utilities 63
cPCI-6530BL
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
}
}