24 _REG_(SYSCFG_PROC0_NMI_MASK_OFFSET)
26 io_rw_32 proc0_nmi_mask;
28 _REG_(SYSCFG_PROC1_NMI_MASK_OFFSET)
30 io_rw_32 proc1_nmi_mask;
32 _REG_(SYSCFG_PROC_CONFIG_OFFSET)
40 _REG_(SYSCFG_PROC_IN_SYNC_BYPASS_OFFSET)
43 io_rw_32 proc_in_sync_bypass;
45 _REG_(SYSCFG_PROC_IN_SYNC_BYPASS_HI_OFFSET)
48 io_rw_32 proc_in_sync_bypass_hi;
50 _REG_(SYSCFG_DBGFORCE_OFFSET)
62 _REG_(SYSCFG_MEMPOWERDOWN_OFFSET)
72 io_rw_32 mempowerdown;