1 /******************************************************************************* 2 * Copyright 2019-2021 Microchip FPGA Embedded Systems Solutions. 3 * 4 * SPDX-License-Identifier: MIT 5 * 6 * @file hw_mpu_trace.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_TRACE_H_ 28 #define HW_MPU_TRACE_H_ 29 30 31 #ifdef __cplusplus 32 extern "C" { 33 #endif 34 35 #if !defined (LIBERO_SETTING_TRACE_MPU_CFG_PMP0) 36 /*mpu setup register, 64 bits */ 37 #define LIBERO_SETTING_TRACE_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_TRACE_MPU_CFG_PMP1) 43 /*mpu setup register, 64 bits */ 44 #define LIBERO_SETTING_TRACE_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 50 #ifdef __cplusplus 51 } 52 #endif 53 54 55 #endif /* #ifdef HW_MPU_TRACE_H_ */ 56 57
