| /* |
| * Copyright (c) 2019-2023, Arm Limited. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #ifndef SBSA_H |
| #define SBSA_H |
| |
| #include <stdint.h> |
| |
| /* SBSA Secure Watchdog Register Offsets */ |
| /* Refresh frame */ |
| #define SBSA_WDOG_WRR_OFFSET UL(0x000) |
| #define SBSA_WDOG_WRR_REFRESH UL(0x1) |
| |
| /* Control and status frame */ |
| #define SBSA_WDOG_WCS_OFFSET UL(0x000) |
| #define SBSA_WDOG_WOR_LOW_OFFSET UL(0x008) |
| #define SBSA_WDOG_WOR_HIGH_OFFSET UL(0x00C) |
| |
| #define SBSA_WDOG_WCS_EN U(0x1) |
| |
| #define SBSA_WDOG_WOR_WIDTH UL(48) |
| |
| void sbsa_wdog_start(uintptr_t base, uint64_t ms); |
| void sbsa_wdog_stop(uintptr_t base); |
| void sbsa_wdog_refresh(uintptr_t refresh_base); |
| |
| #endif /* SBSA_H */ |