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