/* Note: The SP805 Watchdog Timer supports locking of its registers, i.e. it inhibits all writes to avoid rogue software accidentally corrupting their contents.  */
STATIC VOID SP805Lock(VOID)
/* Note: The SP805 Watchdog Timer supports locking of its registers, i.e. it inhibits all writes to avoid rogue software accidentally corrupting their contents.  */
STATIC VOID SP805Lock(VOID)
{
  if (MmioRead32 (SP805_WDOG_LOCK_REG) == SP805_WDOG_LOCK_IS_UNLOCKED) {
    MmioWrite32 (SP805_WDOG_LOCK_REG, SP805_WDOG_LOCK_IS_LOCKED);
  }
}