ADLINK cPCI-3615 - Manual (Page 81)

Utilities 67
cPCI-3615
tempCount++;
if(tempCount > 65535)
tempCount = 65535;
printf("WDT timeout in %d minutes.\n", tempCount);
}
else
{
outportb(IT8783_ioPort, 0x72);
registerValue = inportb(IT8783_ioPort+1);
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(IT8783_ioPort+1, registerValue); // set
WDT count is second
}
}