/* Gets the state of the watchdog timer lock mechanism. */
tBoolean WatchdogLockState(unsigned long ulBase)
/* Gets the state of the watchdog timer lock mechanism. */
tBoolean WatchdogLockState(unsigned long ulBase)
{
    ASSERT((ulBase == WATCHDOG0_BASE) || (ulBase == WATCHDOG1_BASE));
    return((HWREG(ulBase + WDT_O_LOCK) == WDT_LOCK_LOCKED) ? true : false);
}