27 _REG_(SYSCFG_PROC0_NMI_MASK_OFFSET)
30 io_rw_32 proc0_nmi_mask;
32 _REG_(SYSCFG_PROC1_NMI_MASK_OFFSET)
35 io_rw_32 proc1_nmi_mask;
37 _REG_(SYSCFG_PROC_CONFIG_OFFSET)
45 _REG_(SYSCFG_PROC_IN_SYNC_BYPASS_OFFSET)
48 io_rw_32 proc_in_sync_bypass;
50 _REG_(SYSCFG_PROC_IN_SYNC_BYPASS_HI_OFFSET)
53 io_rw_32 proc_in_sync_bypass_hi;
55 _REG_(SYSCFG_DBGFORCE_OFFSET)
67 _REG_(SYSCFG_MEMPOWERDOWN_OFFSET)
77 io_rw_32 mempowerdown;