1 /*
2  * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef _HARDWARE_STRUCTS_SYSCFG_H
8 #define _HARDWARE_STRUCTS_SYSCFG_H
9 
10 #include "hardware/address_mapped.h"
11 #include "hardware/platform_defs.h"
12 #include "hardware/regs/syscfg.h"
13 
14 typedef struct {
15     io_rw_32 proc0_nmi_mask;
16     io_rw_32 proc1_nmi_mask;
17     io_rw_32 proc_config;
18     io_rw_32 proc_in_sync_bypass;
19     io_rw_32 proc_in_sync_bypass_hi;
20     io_rw_32 dbgforce;
21     io_rw_32 mempowerdown;
22 } syscfg_hw_t;
23 
24 #define syscfg_hw ((syscfg_hw_t *const)SYSCFG_BASE)
25 
26 #endif
27