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