/* This function returns the maximum watchdog offset register value. */
STATIC UINT64 GetMaxWatchdogOffsetRegisterValue(VOID)
/* This function returns the maximum watchdog offset register value. */
STATIC UINT64 GetMaxWatchdogOffsetRegisterValue(VOID)
{
  UINT64  MaxWatchdogOffsetValue;
  UINT32  WatchdogIId;
  UINT8   WatchdogArchRevision;
  WatchdogIId          = MmioRead32 (GENERIC_WDOG_IID_REG);
  WatchdogArchRevision = (WatchdogIId >> GENERIC_WDOG_IID_ARCH_REV_SHIFT) & GENERIC_WDOG_IID_ARCH_REV_MASK;
  if (WatchdogArchRevision == 0) {
    MaxWatchdogOffsetValue = MAX_UINT32;
  } else {
    MaxWatchdogOffsetValue = MAX_UINT48;
  }
  return MaxWatchdogOffsetValue;
}