1 /*******************************************************************************
2  * Copyright 2019-2021 Microchip FPGA Embedded Systems Solutions.
3  *
4  * SPDX-License-Identifier: MIT
5  *
6  * @file hw_pmp_hart0.h
7  * @author Microchip-FPGA Embedded Systems Solutions
8  *
9  *
10  * Note 1: This file should not be edited. If you need to modify a parameter
11  * without going through regenerating using the MSS Configurator Libero flow
12  * or editing the associated xml file
13  * the following method is recommended:
14 
15  * 1. edit the following file
16  * boards/your_board/platform_config/mpfs_hal_config/mss_sw_config.h
17 
18  * 2. define the value you want to override there.
19  * (Note: There is a commented example in the platform directory)
20 
21  * Note 2: The definition in mss_sw_config.h takes precedence, as
22  * mss_sw_config.h is included prior to the generated header files located in
23  * boards/your_board/fpga_design_config
24  *
25  */
26 
27 #ifndef HW_PMP_HART0_H_
28 #define HW_PMP_HART0_H_
29 
30 
31 #ifdef __cplusplus
32 extern  "C" {
33 #endif
34 
35 #if !defined (LIBERO_SETTING_HART0_CSR_PMPCFG0)
36 /*PMP configuration for 8 adress regions, bit 0 read, bit 1 write, bit 2
37 execute, bit 7 disable, bits 3,4 address format (0x18 => NAPOT) */
38 #define LIBERO_SETTING_HART0_CSR_PMPCFG0    0x0000000000000000ULL
39     /* PMP0CFG                           [0:8]   RW value= 0x00 */
40     /* PMP1CFG                           [8:8]   RW value= 0x0 */
41     /* PMP2CFG                           [16:8]  RW value= 0x00 */
42     /* PMP3CFG                           [24:8]  RW value= 0x00 */
43     /* PMP4CFG                           [32:8]  RW value= 0x00 */
44     /* PMP5CFG                           [40:8]  RW value= 0x00 */
45     /* PMP6CFG                           [48:8]  RW value= 0x00 */
46     /* PMP7CFG                           [56:8]  RW value= 0x00 */
47 #endif
48 #if !defined (LIBERO_SETTING_HART0_CSR_PMPCFG2)
49 /*PMP configuration for 8 address regions, bit 0 read, bit 1 write, bit 2
50 execute, bit 7 disable, bits 3,4 address format (0x18 => NAPOT) */
51 #define LIBERO_SETTING_HART0_CSR_PMPCFG2    0x0000000000000000ULL
52     /* PMP8CFG                           [0:8]   RW value= 0x00 */
53     /* PMP9CFG                           [8:8]   RW value= 0x00 */
54     /* PMP10CFG                          [16:8]  RW value= 0x00 */
55     /* PMP11CFG                          [24:8]  RW value= 0x00 */
56     /* PMP12CFG                          [32:8]  RW value= 0x00 */
57     /* PMP13CFG                          [40:8]  RW value= 0x00 */
58     /* PMP14CFG                          [48:8]  RW value= 0x00 */
59     /* PMP15CFG                          [56:8]  RW value= 0x00 */
60 #endif
61 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR0)
62 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
63 in CSR_PMPCFGx */
64 #define LIBERO_SETTING_HART0_CSR_PMPADDR0    0x0000000000000000ULL
65     /* CSR_PMPADDR0                      [0:64]  RW value= 0x00 */
66 #endif
67 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR1)
68 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
69 in CSR_PMPCFGx */
70 #define LIBERO_SETTING_HART0_CSR_PMPADDR1    0x0000000000000000ULL
71     /* CSR_PMPADDR1                      [0:64]  RW value= 0x00 */
72 #endif
73 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR2)
74 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
75 in CSR_PMPCFGx */
76 #define LIBERO_SETTING_HART0_CSR_PMPADDR2    0x0000000000000000ULL
77     /* CSR_PMPADDR2                      [0:64]  RW value= 0x00 */
78 #endif
79 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR3)
80 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
81 in CSR_PMPCFGx */
82 #define LIBERO_SETTING_HART0_CSR_PMPADDR3    0x0000000000000000ULL
83     /* CSR_PMPADDR3                      [0:64]  RW value= 0x00 */
84 #endif
85 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR4)
86 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
87 in CSR_PMPCFGx */
88 #define LIBERO_SETTING_HART0_CSR_PMPADDR4    0x0000000000000000ULL
89     /* CSR_PMPADDR4                      [0:64]  RW value= 0x00 */
90 #endif
91 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR5)
92 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
93 in CSR_PMPCFGx */
94 #define LIBERO_SETTING_HART0_CSR_PMPADDR5    0x0000000000000000ULL
95     /* CSR_PMPADDR5                      [0:64]  RW value= 0x00 */
96 #endif
97 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR6)
98 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
99 in CSR_PMPCFGx */
100 #define LIBERO_SETTING_HART0_CSR_PMPADDR6    0x0000000000000000ULL
101     /* CSR_PMPADDR6                      [0:64]  RW value= 0x00 */
102 #endif
103 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR7)
104 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
105 in CSR_PMPCFGx */
106 #define LIBERO_SETTING_HART0_CSR_PMPADDR7    0x0000000000000000ULL
107     /* CSR_PMPADDR7                      [0:64]  RW value= 0x00 */
108 #endif
109 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR8)
110 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
111 in CSR_PMPCFGx */
112 #define LIBERO_SETTING_HART0_CSR_PMPADDR8    0x0000000000000000ULL
113     /* CSR_PMPADDR8                      [0:64]  RW value= 0x00 */
114 #endif
115 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR9)
116 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
117 in CSR_PMPCFGx */
118 #define LIBERO_SETTING_HART0_CSR_PMPADDR9    0x0000000000000000ULL
119     /* CSR_PMPADDR9                      [0:64]  RW value= 0x00 */
120 #endif
121 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR10)
122 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
123 in CSR_PMPCFGx */
124 #define LIBERO_SETTING_HART0_CSR_PMPADDR10    0x0000000000000000ULL
125     /* CSR_PMPADDR10                     [0:64]  RW value= 0x00 */
126 #endif
127 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR11)
128 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
129 in CSR_PMPCFGx */
130 #define LIBERO_SETTING_HART0_CSR_PMPADDR11    0x0000000000000000ULL
131     /* CSR_PMPADDR11                     [0:64]  RW value= 0x00 */
132 #endif
133 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR12)
134 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
135 in CSR_PMPCFGx */
136 #define LIBERO_SETTING_HART0_CSR_PMPADDR12    0x0000000000000000ULL
137     /* CSR_PMPADDR12                     [0:64]  RW value= 0x00 */
138 #endif
139 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR13)
140 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
141 in CSR_PMPCFGx */
142 #define LIBERO_SETTING_HART0_CSR_PMPADDR13    0x0000000000000000ULL
143     /* CSR_PMPADDR13                     [0:64]  RW value= 0x00 */
144 #endif
145 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR14)
146 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
147 in CSR_PMPCFGx */
148 #define LIBERO_SETTING_HART0_CSR_PMPADDR14    0x0000000000000000ULL
149     /* CSR_PMPADDR14                     [0:64]  RW value= 0x00 */
150 #endif
151 #if !defined (LIBERO_SETTING_HART0_CSR_PMPADDR15)
152 /*PMP ADRESS and size, format determined from bit 3 and 4 of configuration byte
153 in CSR_PMPCFGx */
154 #define LIBERO_SETTING_HART0_CSR_PMPADDR15    0x0000000000000000ULL
155     /* CSR_PMPADDR15                     [0:64]  RW value= 0x00 */
156 #endif
157 
158 #ifdef __cplusplus
159 }
160 #endif
161 
162 
163 #endif /* #ifdef HW_PMP_HART0_H_ */
164 
165