1 /*
2  * Copyright (c) 2019, ARM Limited. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef SBSA_H
8 #define SBSA_H
9 
10 #include <stdint.h>
11 
12 /* Register Offsets */
13 #define SBSA_WDOG_WCS_OFFSET		UL(0x000)
14 #define SBSA_WDOG_WOR_LOW_OFFSET	UL(0x008)
15 #define SBSA_WDOG_WOR_HIGH_OFFSET	UL(0x00C)
16 
17 #define SBSA_WDOG_WCS_EN		U(0x1)
18 
19 #define SBSA_WDOG_WOR_WIDTH		UL(48)
20 
21 void sbsa_wdog_start(uintptr_t base, uint64_t ms);
22 void sbsa_wdog_stop(uintptr_t base);
23 
24 #endif /* SBSA_H */
25