1 /*
2  * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef _HARDWARE_STRUCTS_WATCHDOG_H
8 #define _HARDWARE_STRUCTS_WATCHDOG_H
9 
10 #include "hardware/address_mapped.h"
11 #include "hardware/platform_defs.h"
12 #include "hardware/regs/watchdog.h"
13 
14 typedef struct {
15     io_rw_32 ctrl;
16     io_wo_32 load;
17     io_ro_32 reason;
18     io_rw_32 scratch[8];
19     io_rw_32 tick;
20 } watchdog_hw_t;
21 
22 #define watchdog_hw ((watchdog_hw_t *const)WATCHDOG_BASE)
23 
24 #endif
25