2014-10-27 16:28:07 +01:00
|
|
|
/** @file
|
|
|
|
*
|
2017-02-06 20:05:54 +01:00
|
|
|
* Copyright (c) 2013-2017, ARM Limited. All rights reserved.
|
2014-10-27 16:28:07 +01:00
|
|
|
*
|
2019-04-04 01:03:18 +02:00
|
|
|
* SPDX-License-Identifier: BSD-2-Clause-Patent
|
2014-10-27 16:28:07 +01:00
|
|
|
*
|
|
|
|
**/
|
|
|
|
#ifndef __GENERIC_WATCHDOG_H__
|
|
|
|
#define __GENERIC_WATCHDOG_H__
|
|
|
|
|
|
|
|
// Refresh Frame:
|
2017-02-06 20:05:54 +01:00
|
|
|
#define GENERIC_WDOG_REFRESH_REG ((UINTN)FixedPcdGet64 (PcdGenericWatchdogRefreshBase) + 0x000)
|
2014-10-27 16:28:07 +01:00
|
|
|
|
|
|
|
// Control Frame:
|
2017-02-06 20:05:54 +01:00
|
|
|
#define GENERIC_WDOG_CONTROL_STATUS_REG ((UINTN)FixedPcdGet64 (PcdGenericWatchdogControlBase) + 0x000)
|
|
|
|
#define GENERIC_WDOG_OFFSET_REG ((UINTN)FixedPcdGet64 (PcdGenericWatchdogControlBase) + 0x008)
|
2018-08-02 22:50:54 +02:00
|
|
|
#define GENERIC_WDOG_COMPARE_VALUE_REG_LOW ((UINTN)FixedPcdGet64 (PcdGenericWatchdogControlBase) + 0x010)
|
|
|
|
#define GENERIC_WDOG_COMPARE_VALUE_REG_HIGH ((UINTN)FixedPcdGet64 (PcdGenericWatchdogControlBase) + 0x014)
|
2014-10-27 16:28:07 +01:00
|
|
|
|
|
|
|
// Values of bit 0 of the Control/Status Register
|
|
|
|
#define GENERIC_WDOG_ENABLED 1
|
|
|
|
#define GENERIC_WDOG_DISABLED 0
|
|
|
|
|
|
|
|
#endif // __GENERIC_WATCHDOG_H__
|