mpu.h

Go to the documentation of this file.

 
#ifndef BSP_MPU_H
#define BSP_MPU_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
/* Include HAL only when not testing */
#ifndef HOST_TEST
#include "stm32h7xx_hal.h"
#endif
 
/* ============================================================================
 * MEMORY MAP (STM32H750)
 * ========================================================================= */
 
#include "icarus/config.h"
 
#define BSP_ITCM_BASE           0x00000000UL
#define BSP_ITCM_SIZE           (64 * 1024)
 
#define BSP_DTCM_BASE           0x20000000UL
#define BSP_DTCM_SIZE           (128 * 1024)
 
#define BSP_DTCM_OBC_BASE      0x20010000UL
#define BSP_DTCM_OBC_SIZE      (64 * 1024)
#define BSP_RAM_D1_BASE         0x24000000UL
#define BSP_RAM_D1_SIZE         (512 * 1024)
 
#define BSP_RAM_D2_BASE         0x30000000UL
#define BSP_RAM_D2_SIZE         (288 * 1024)
 
#define BSP_RAM_D3_BASE         0x38000000UL
#define BSP_RAM_D3_SIZE         (64 * 1024)
 
#define BSP_FLASH_BASE          0x08000000UL
#define BSP_FLASH_SIZE          (128 * 1024)
 
#define BSP_QSPI_BASE           0x90000000UL
#define BSP_QSPI_SIZE           (8 * 1024 * 1024)
 
#define BSP_PERIPH_BASE         0x40000000
#define BSP_PERIPH_SIZE         (512 * 1024 * 1024)
 
 
#define MPU_REGION_ITCM_BASE         MPU_REGION_NUMBER0
#define MPU_REGION_QSPI_FLASH       MPU_REGION_NUMBER1
#define MPU_REGION_FLASH             MPU_REGION_NUMBER2
#define MPU_REGION_DTCM_OBC         MPU_REGION_NUMBER3
#define MPU_REGION_TASK_DATA         MPU_REGION_NUMBER4
#define MPU_REGION_DTCM              MPU_REGION_NUMBER5
#define MPU_REGION_RAM_D1            MPU_REGION_NUMBER6
#define MPU_REGION_PERIPH            MPU_REGION_NUMBER7
 
 
#define BYTES_TO_MPU_SIZE(bytes) ( \
    (bytes) == 32        ? MPU_REGION_SIZE_32B   : \
    (bytes) == 64        ? MPU_REGION_SIZE_64B   : \
    (bytes) == 128       ? MPU_REGION_SIZE_128B  : \
    (bytes) == 256       ? MPU_REGION_SIZE_256B  : \
    (bytes) == 512       ? MPU_REGION_SIZE_512B  : \
    (bytes) == 1024      ? MPU_REGION_SIZE_1KB   : \
    (bytes) == 2048      ? MPU_REGION_SIZE_2KB   : \
    (bytes) == 4096      ? MPU_REGION_SIZE_4KB   : \
    (bytes) == 8192      ? MPU_REGION_SIZE_8KB   : \
    (bytes) == 16384     ? MPU_REGION_SIZE_16KB  : \
    (bytes) == 32768     ? MPU_REGION_SIZE_32KB  : \
    (bytes) == 65536     ? MPU_REGION_SIZE_64KB  : \
    (bytes) == 131072    ? MPU_REGION_SIZE_128KB : \
    (bytes) == 262144    ? MPU_REGION_SIZE_256KB : \
    (bytes) == 524288    ? MPU_REGION_SIZE_512KB : \
    MPU_REGION_SIZE_1MB)
 
#define TASK_DATA_SIZE_BYTES ((ICARUS_DATA_WORDS) * 4u)
#define TASK_DATA_SIZE_MPU   MPU_REGION_SIZE_2KB
 
#ifndef SKIP_STATIC_ASSERTS
_Static_assert(TASK_DATA_SIZE_BYTES == 2048u,
               "TASK_DATA_SIZE_BYTES changed — update TASK_DATA_SIZE_MPU");
#endif
 
void MPU_Config(void);
 
void MPU_ConfigureTaskData(uint32_t task_data_base);
 
#ifdef __cplusplus
}
#endif
 
#endif