1 /******************************************************************************* 2 * Copyright 2019-2021 Microchip FPGA Embedded Systems Solutions. 3 * 4 * SPDX-License-Identifier: MIT 5 * 6 * @file hw_pmp_hart4.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_HART4_H_ 28 #define HW_PMP_HART4_H_ 29 30 31 #ifdef __cplusplus 32 extern "C" { 33 #endif 34 35 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPCFG0 0x9F9B9B9B00000000ULL 39 /* PMP0CFG [0:8] RW value= 0x00 */ 40 /* PMP1CFG [8:8] RW value= 0x00 */ 41 /* PMP2CFG [16:8] RW value= 0x00 */ 42 /* PMP3CFG [24:8] RW value= 0x00 */ 43 /* PMP4CFG [32:8] RW value= 0x9B */ 44 /* PMP5CFG [40:8] RW value= 0x9B */ 45 /* PMP6CFG [48:8] RW value= 0x9B */ 46 /* PMP7CFG [56:8] RW value= 0x9F */ 47 #endif 48 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPCFG2 0x0000000000989B9BULL 52 /* PMP8CFG [0:8] RW value= 0x9B */ 53 /* PMP9CFG [8:8] RW value= 0x9B */ 54 /* PMP10CFG [16:8] RW value= 0x98 */ 55 /* PMP11CFG [24:8] RW value= 0x0 */ 56 /* PMP12CFG [32:8] RW value= 0x0 */ 57 /* PMP13CFG [40:8] RW value= 0x0 */ 58 /* PMP14CFG [48:8] RW value= 0x0 */ 59 /* PMP15CFG [56:8] RW value= 0x0 */ 60 #endif 61 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR0 0x0000000000000000ULL 65 /* CSR_PMPADDR0 [0:64] RW value= 0x00 */ 66 #endif 67 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR1 0x0000000000000000ULL 71 /* CSR_PMPADDR1 [0:64] RW value= 0x00 */ 72 #endif 73 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR2 0x0000000000000000ULL 77 /* CSR_PMPADDR2 [0:64] RW value= 0x00 */ 78 #endif 79 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR3 0x0000000000000000ULL 83 /* CSR_PMPADDR3 [0:64] RW value= 0x00 */ 84 #endif 85 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR4 0x000000000A047FFFULL 89 /* CSR_PMPADDR4 [0:64] RW value= 0xA047FFF */ 90 #endif 91 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR5 0x000000000307FFFFULL 95 /* CSR_PMPADDR5 [0:64] RW value= 0x307FFFF */ 96 #endif 97 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR6 0x00000000080009FFULL 101 /* CSR_PMPADDR6 [0:64] RW value= 0x80009FF */ 102 #endif 103 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR7 0x00000000200BFFFFULL 107 /* CSR_PMPADDR7 [0:64] RW value= 0x200BFFFF */ 108 #endif 109 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR8 0x00000000008041FFULL 113 /* CSR_PMPADDR8 [0:64] RW value= 0x8041FF */ 114 #endif 115 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR9 0x0000000000801FFFULL 119 /* CSR_PMPADDR9 [0:64] RW value= 0x801FFF */ 120 #endif 121 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR10 0xFFFFFFFFFFFFFFFFULL 125 /* CSR_PMPADDR10 [0:64] RW value= 0xFFFFFFFFFFFFFFFF */ 126 #endif 127 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR11 0x0000000000000000ULL 131 /* CSR_PMPADDR11 [0:64] RW value= 0x0 */ 132 #endif 133 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR12 0x0000000000000000ULL 137 /* CSR_PMPADDR12 [0:64] RW value= 0x0 */ 138 #endif 139 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR13 0x0000000000000000ULL 143 /* CSR_PMPADDR13 [0:64] RW value= 0x0 */ 144 #endif 145 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR14 0x0000000000000000ULL 149 /* CSR_PMPADDR14 [0:64] RW value= 0x0 */ 150 #endif 151 #if !defined (LIBERO_SETTING_HART4_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_HART4_CSR_PMPADDR15 0x0000000000000000ULL 155 /* CSR_PMPADDR15 [0:64] RW value= 0x0 */ 156 #endif 157 158 #ifdef __cplusplus 159 } 160 #endif 161 162 163 #endif /* #ifdef HW_PMP_HART4_H_ */ 164 165
