1 /******************************************************************************* 2 * Copyright 2019-2021 Microchip FPGA Embedded Systems Solutions. 3 * 4 * SPDX-License-Identifier: MIT 5 * 6 * @file hw_mpu_scb.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_MPU_SCB_H_ 28 #define HW_MPU_SCB_H_ 29 30 31 #ifdef __cplusplus 32 extern "C" { 33 #endif 34 35 #if !defined (LIBERO_SETTING_SCB_MPU_CFG_PMP0) 36 /*mpu setup register, 64 bits */ 37 #define LIBERO_SETTING_SCB_MPU_CFG_PMP0 0x1F00000FFFFFFFFFULL 38 /* PMP [0:38] RW value= 0xFFFFFFFFF */ 39 /* RESERVED [38:18] RW value= 0x0 */ 40 /* MODE [56:8] RW value= 0x1F */ 41 #endif 42 #if !defined (LIBERO_SETTING_SCB_MPU_CFG_PMP1) 43 /*mpu setup register, 64 bits */ 44 #define LIBERO_SETTING_SCB_MPU_CFG_PMP1 0x1F00000FFFFFFFFFULL 45 /* PMP [0:38] RW value= 0xFFFFFFFFF */ 46 /* RESERVED [38:18] RW value= 0x0 */ 47 /* MODE [56:8] RW value= 0x1F */ 48 #endif 49 #if !defined (LIBERO_SETTING_SCB_MPU_CFG_PMP2) 50 /*pmp setup register, 64 bits */ 51 #define LIBERO_SETTING_SCB_MPU_CFG_PMP2 0x1F00000FFFFFFFFFULL 52 /* PMP [0:38] RW value= 0xFFFFFFFFF */ 53 /* RESERVED [38:18] RW value= 0x0 */ 54 /* MODE [56:8] RW value= 0x1F */ 55 #endif 56 #if !defined (LIBERO_SETTING_SCB_MPU_CFG_PMP3) 57 /*pmp setup register, 64 bits */ 58 #define LIBERO_SETTING_SCB_MPU_CFG_PMP3 0x1F00000FFFFFFFFFULL 59 /* PMP [0:38] RW value= 0xFFFFFFFFF */ 60 /* RESERVED [38:18] RW value= 0x0 */ 61 /* MODE [56:8] RW value= 0x1F */ 62 #endif 63 #if !defined (LIBERO_SETTING_SCB_MPU_CFG_PMP4) 64 /*pmp setup register, 64 bits */ 65 #define LIBERO_SETTING_SCB_MPU_CFG_PMP4 0x1F00000FFFFFFFFFULL 66 /* PMP [0:38] RW value= 0xFFFFFFFFF */ 67 /* RESERVED [38:18] RW value= 0x0 */ 68 /* MODE [56:8] RW value= 0x1F */ 69 #endif 70 #if !defined (LIBERO_SETTING_SCB_MPU_CFG_PMP5) 71 /*pmp setup register, 64 bits */ 72 #define LIBERO_SETTING_SCB_MPU_CFG_PMP5 0x1F00000FFFFFFFFFULL 73 /* PMP [0:38] RW value= 0xFFFFFFFFF */ 74 /* RESERVED [38:18] RW value= 0x0 */ 75 /* MODE [56:8] RW value= 0x1F */ 76 #endif 77 #if !defined (LIBERO_SETTING_SCB_MPU_CFG_PMP6) 78 /*pmp setup register, 64 bits */ 79 #define LIBERO_SETTING_SCB_MPU_CFG_PMP6 0x1F00000FFFFFFFFFULL 80 /* PMP [0:38] RW value= 0xFFFFFFFFF */ 81 /* RESERVED [38:18] RW value= 0x0 */ 82 /* MODE [56:8] RW value= 0x1F */ 83 #endif 84 #if !defined (LIBERO_SETTING_SCB_MPU_CFG_PMP7) 85 /*pmp setup register, 64 bits */ 86 #define LIBERO_SETTING_SCB_MPU_CFG_PMP7 0x1F00000FFFFFFFFFULL 87 /* PMP [0:38] RW value= 0xFFFFFFFFF */ 88 /* RESERVED [38:18] RW value= 0x0 */ 89 /* MODE [56:8] RW value= 0x1F */ 90 #endif 91 92 #ifdef __cplusplus 93 } 94 #endif 95 96 97 #endif /* #ifdef HW_MPU_SCB_H_ */ 98 99
