Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 1 | /* |
Yann Gautier | f9d40d5 | 2019-01-17 14:41:46 +0100 | [diff] [blame] | 2 | * Copyright (c) 2015-2019, ARM Limited and Contributors. All rights reserved. |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #ifndef STM32MP1_DEF_H |
| 8 | #define STM32MP1_DEF_H |
| 9 | |
Antonio Nino Diaz | e0f9063 | 2018-12-14 00:18:21 +0000 | [diff] [blame] | 10 | #include <common/tbbr/tbbr_img_def.h> |
Yann Gautier | b5d2ed4 | 2019-02-14 11:13:50 +0100 | [diff] [blame] | 11 | #include <drivers/st/stm32mp1_rcc.h> |
| 12 | #include <dt-bindings/clock/stm32mp1-clks.h> |
| 13 | #include <dt-bindings/reset/stm32mp1-resets.h> |
Antonio Nino Diaz | e0f9063 | 2018-12-14 00:18:21 +0000 | [diff] [blame] | 14 | #include <lib/utils_def.h> |
| 15 | #include <lib/xlat_tables/xlat_tables_defs.h> |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 16 | |
Yann Gautier | 57e282b | 2019-01-07 11:17:24 +0100 | [diff] [blame] | 17 | #ifndef __ASSEMBLY__ |
Yann Gautier | b5d2ed4 | 2019-02-14 11:13:50 +0100 | [diff] [blame] | 18 | #include <drivers/st/stm32mp1_clk.h> |
| 19 | |
Yann Gautier | 57e282b | 2019-01-07 11:17:24 +0100 | [diff] [blame] | 20 | #include <boot_api.h> |
Yann Gautier | ee8f542 | 2019-02-14 11:13:25 +0100 | [diff] [blame] | 21 | #include <stm32mp_common.h> |
| 22 | #include <stm32mp_dt.h> |
Yann Gautier | e4a3c35 | 2019-02-14 10:53:33 +0100 | [diff] [blame] | 23 | #include <stm32mp_shres_helpers.h> |
Yann Gautier | 57e282b | 2019-01-07 11:17:24 +0100 | [diff] [blame] | 24 | #include <stm32mp1_private.h> |
| 25 | #endif |
| 26 | |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 27 | /******************************************************************************* |
| 28 | * STM32MP1 memory map related constants |
| 29 | ******************************************************************************/ |
| 30 | |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 31 | #define STM32MP_SYSRAM_BASE U(0x2FFC0000) |
| 32 | #define STM32MP_SYSRAM_SIZE U(0x00040000) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 33 | |
| 34 | /* DDR configuration */ |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 35 | #define STM32MP_DDR_BASE U(0xC0000000) |
| 36 | #define STM32MP_DDR_MAX_SIZE U(0x40000000) /* Max 1GB */ |
Yann Gautier | b3386f7 | 2019-04-19 09:41:01 +0200 | [diff] [blame] | 37 | #ifdef AARCH32_SP_OPTEE |
| 38 | #define STM32MP_DDR_S_SIZE U(0x01E00000) /* 30 MB */ |
| 39 | #define STM32MP_DDR_SHMEM_SIZE U(0x00200000) /* 2 MB */ |
| 40 | #endif |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 41 | |
| 42 | /* DDR power initializations */ |
| 43 | #ifndef __ASSEMBLY__ |
| 44 | enum ddr_type { |
| 45 | STM32MP_DDR3, |
| 46 | STM32MP_LPDDR2, |
| 47 | }; |
| 48 | #endif |
| 49 | |
| 50 | /* Section used inside TF binaries */ |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 51 | #define STM32MP_PARAM_LOAD_SIZE U(0x00002400) /* 9 Ko for param */ |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 52 | /* 256 Octets reserved for header */ |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 53 | #define STM32MP_HEADER_SIZE U(0x00000100) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 54 | |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 55 | #define STM32MP_BINARY_BASE (STM32MP_SYSRAM_BASE + \ |
| 56 | STM32MP_PARAM_LOAD_SIZE + \ |
| 57 | STM32MP_HEADER_SIZE) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 58 | |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 59 | #define STM32MP_BINARY_SIZE (STM32MP_SYSRAM_SIZE - \ |
| 60 | (STM32MP_PARAM_LOAD_SIZE + \ |
| 61 | STM32MP_HEADER_SIZE)) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 62 | |
Yann Gautier | b3386f7 | 2019-04-19 09:41:01 +0200 | [diff] [blame] | 63 | #ifdef AARCH32_SP_OPTEE |
| 64 | #define STM32MP_BL32_SIZE U(0) |
| 65 | |
| 66 | #define STM32MP_OPTEE_BASE STM32MP_SYSRAM_BASE |
| 67 | |
| 68 | #define STM32MP_OPTEE_SIZE (STM32MP_DTB_BASE - \ |
| 69 | STM32MP_OPTEE_BASE) |
| 70 | #else |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 71 | #if STACK_PROTECTOR_ENABLED |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 72 | #define STM32MP_BL32_SIZE U(0x00012000) /* 72 Ko for BL32 */ |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 73 | #else |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 74 | #define STM32MP_BL32_SIZE U(0x00011000) /* 68 Ko for BL32 */ |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 75 | #endif |
Yann Gautier | b3386f7 | 2019-04-19 09:41:01 +0200 | [diff] [blame] | 76 | #endif |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 77 | |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 78 | #define STM32MP_BL32_BASE (STM32MP_SYSRAM_BASE + \ |
| 79 | STM32MP_SYSRAM_SIZE - \ |
| 80 | STM32MP_BL32_SIZE) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 81 | |
Yann Gautier | b3386f7 | 2019-04-19 09:41:01 +0200 | [diff] [blame] | 82 | #ifdef AARCH32_SP_OPTEE |
| 83 | #if STACK_PROTECTOR_ENABLED |
| 84 | #define STM32MP_BL2_SIZE U(0x00019000) /* 100 Ko for BL2 */ |
| 85 | #else |
| 86 | #define STM32MP_BL2_SIZE U(0x00017000) /* 92 Ko for BL2 */ |
| 87 | #endif |
| 88 | #else |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 89 | #if STACK_PROTECTOR_ENABLED |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 90 | #define STM32MP_BL2_SIZE U(0x00015000) /* 84 Ko for BL2 */ |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 91 | #else |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 92 | #define STM32MP_BL2_SIZE U(0x00013000) /* 76 Ko for BL2 */ |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 93 | #endif |
Yann Gautier | b3386f7 | 2019-04-19 09:41:01 +0200 | [diff] [blame] | 94 | #endif |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 95 | |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 96 | #define STM32MP_BL2_BASE (STM32MP_BL32_BASE - \ |
| 97 | STM32MP_BL2_SIZE) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 98 | |
| 99 | /* BL2 and BL32/sp_min require 5 tables */ |
| 100 | #define MAX_XLAT_TABLES 5 |
| 101 | |
| 102 | /* |
| 103 | * MAX_MMAP_REGIONS is usually: |
| 104 | * BL stm32mp1_mmap size + mmap regions in *_plat_arch_setup |
| 105 | */ |
Yann Gautier | 9d135e4 | 2018-07-16 19:36:06 +0200 | [diff] [blame] | 106 | #if defined(IMAGE_BL2) |
| 107 | #define MAX_MMAP_REGIONS 11 |
| 108 | #endif |
| 109 | #if defined(IMAGE_BL32) |
| 110 | #define MAX_MMAP_REGIONS 6 |
| 111 | #endif |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 112 | |
| 113 | /* DTB initialization value */ |
Yann Gautier | 33b96fc | 2019-04-19 10:55:03 +0200 | [diff] [blame] | 114 | #define STM32MP_DTB_SIZE U(0x00005000) /* 20Ko for DTB */ |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 115 | |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 116 | #define STM32MP_DTB_BASE (STM32MP_BL2_BASE - \ |
| 117 | STM32MP_DTB_SIZE) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 118 | |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 119 | #define STM32MP_BL33_BASE (STM32MP_DDR_BASE + U(0x100000)) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 120 | |
| 121 | /******************************************************************************* |
| 122 | * STM32MP1 device/io map related constants (used for MMU) |
| 123 | ******************************************************************************/ |
| 124 | #define STM32MP1_DEVICE1_BASE U(0x40000000) |
| 125 | #define STM32MP1_DEVICE1_SIZE U(0x40000000) |
| 126 | |
| 127 | #define STM32MP1_DEVICE2_BASE U(0x80000000) |
| 128 | #define STM32MP1_DEVICE2_SIZE U(0x40000000) |
| 129 | |
| 130 | /******************************************************************************* |
| 131 | * STM32MP1 RCC |
| 132 | ******************************************************************************/ |
| 133 | #define RCC_BASE U(0x50000000) |
| 134 | |
| 135 | /******************************************************************************* |
| 136 | * STM32MP1 PWR |
| 137 | ******************************************************************************/ |
| 138 | #define PWR_BASE U(0x50001000) |
| 139 | |
| 140 | /******************************************************************************* |
Yann Gautier | 038bff2 | 2019-01-17 19:17:47 +0100 | [diff] [blame] | 141 | * STM32MP1 GPIO |
| 142 | ******************************************************************************/ |
| 143 | #define GPIOA_BASE U(0x50002000) |
| 144 | #define GPIOB_BASE U(0x50003000) |
| 145 | #define GPIOC_BASE U(0x50004000) |
| 146 | #define GPIOD_BASE U(0x50005000) |
| 147 | #define GPIOE_BASE U(0x50006000) |
| 148 | #define GPIOF_BASE U(0x50007000) |
| 149 | #define GPIOG_BASE U(0x50008000) |
| 150 | #define GPIOH_BASE U(0x50009000) |
| 151 | #define GPIOI_BASE U(0x5000A000) |
| 152 | #define GPIOJ_BASE U(0x5000B000) |
| 153 | #define GPIOK_BASE U(0x5000C000) |
| 154 | #define GPIOZ_BASE U(0x54004000) |
| 155 | #define GPIO_BANK_OFFSET U(0x1000) |
| 156 | |
| 157 | /* Bank IDs used in GPIO driver API */ |
| 158 | #define GPIO_BANK_A U(0) |
| 159 | #define GPIO_BANK_B U(1) |
| 160 | #define GPIO_BANK_C U(2) |
| 161 | #define GPIO_BANK_D U(3) |
| 162 | #define GPIO_BANK_E U(4) |
| 163 | #define GPIO_BANK_F U(5) |
| 164 | #define GPIO_BANK_G U(6) |
| 165 | #define GPIO_BANK_H U(7) |
| 166 | #define GPIO_BANK_I U(8) |
| 167 | #define GPIO_BANK_J U(9) |
| 168 | #define GPIO_BANK_K U(10) |
| 169 | #define GPIO_BANK_Z U(25) |
| 170 | |
| 171 | #define STM32MP_GPIOZ_PIN_MAX_COUNT 8 |
| 172 | |
| 173 | /******************************************************************************* |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 174 | * STM32MP1 UART |
| 175 | ******************************************************************************/ |
| 176 | #define USART1_BASE U(0x5C000000) |
| 177 | #define USART2_BASE U(0x4000E000) |
| 178 | #define USART3_BASE U(0x4000F000) |
| 179 | #define UART4_BASE U(0x40010000) |
| 180 | #define UART5_BASE U(0x40011000) |
| 181 | #define USART6_BASE U(0x44003000) |
| 182 | #define UART7_BASE U(0x40018000) |
| 183 | #define UART8_BASE U(0x40019000) |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 184 | #define STM32MP_UART_BAUDRATE U(115200) |
Yann Gautier | 038bff2 | 2019-01-17 19:17:47 +0100 | [diff] [blame] | 185 | |
| 186 | /* For UART crash console */ |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 187 | #define STM32MP_DEBUG_USART_BASE UART4_BASE |
Yann Gautier | 038bff2 | 2019-01-17 19:17:47 +0100 | [diff] [blame] | 188 | /* UART4 on HSI@64MHz, TX on GPIOG11 Alternate 6 */ |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 189 | #define STM32MP_DEBUG_USART_CLK_FRQ 64000000 |
Yann Gautier | 038bff2 | 2019-01-17 19:17:47 +0100 | [diff] [blame] | 190 | #define DEBUG_UART_TX_GPIO_BANK_ADDRESS GPIOG_BASE |
| 191 | #define DEBUG_UART_TX_GPIO_BANK_CLK_REG RCC_MP_AHB4ENSETR |
| 192 | #define DEBUG_UART_TX_GPIO_BANK_CLK_EN RCC_MP_AHB4ENSETR_GPIOGEN |
| 193 | #define DEBUG_UART_TX_GPIO_PORT 11 |
| 194 | #define DEBUG_UART_TX_GPIO_ALTERNATE 6 |
| 195 | #define DEBUG_UART_TX_CLKSRC_REG RCC_UART24CKSELR |
| 196 | #define DEBUG_UART_TX_CLKSRC RCC_UART24CKSELR_HSI |
| 197 | #define DEBUG_UART_TX_EN_REG RCC_MP_APB1ENSETR |
| 198 | #define DEBUG_UART_TX_EN RCC_MP_APB1ENSETR_UART4EN |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 199 | |
| 200 | /******************************************************************************* |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 201 | * STM32MP1 TZC (TZ400) |
| 202 | ******************************************************************************/ |
| 203 | #define STM32MP1_TZC_BASE U(0x5C006000) |
| 204 | |
| 205 | #define STM32MP1_TZC_A7_ID U(0) |
Yann Gautier | ed34232 | 2019-02-15 17:33:27 +0100 | [diff] [blame] | 206 | #define STM32MP1_TZC_M4_ID U(1) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 207 | #define STM32MP1_TZC_LCD_ID U(3) |
| 208 | #define STM32MP1_TZC_GPU_ID U(4) |
| 209 | #define STM32MP1_TZC_MDMA_ID U(5) |
| 210 | #define STM32MP1_TZC_DMA_ID U(6) |
| 211 | #define STM32MP1_TZC_USB_HOST_ID U(7) |
| 212 | #define STM32MP1_TZC_USB_OTG_ID U(8) |
| 213 | #define STM32MP1_TZC_SDMMC_ID U(9) |
| 214 | #define STM32MP1_TZC_ETH_ID U(10) |
| 215 | #define STM32MP1_TZC_DAP_ID U(15) |
| 216 | |
Yann Gautier | f9d40d5 | 2019-01-17 14:41:46 +0100 | [diff] [blame] | 217 | #define STM32MP1_FILTER_BIT_ALL U(3) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 218 | |
| 219 | /******************************************************************************* |
| 220 | * STM32MP1 SDMMC |
| 221 | ******************************************************************************/ |
Yann Gautier | a2e2a30 | 2019-02-14 11:13:39 +0100 | [diff] [blame] | 222 | #define STM32MP_SDMMC1_BASE U(0x58005000) |
| 223 | #define STM32MP_SDMMC2_BASE U(0x58007000) |
| 224 | #define STM32MP_SDMMC3_BASE U(0x48004000) |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 225 | |
Yann Gautier | 4baf582 | 2019-05-09 13:25:52 +0200 | [diff] [blame] | 226 | #define STM32MP_MMC_INIT_FREQ U(400000) /*400 KHz*/ |
| 227 | #define STM32MP_SD_NORMAL_SPEED_MAX_FREQ U(25000000) /*25 MHz*/ |
| 228 | #define STM32MP_SD_HIGH_SPEED_MAX_FREQ U(50000000) /*50 MHz*/ |
| 229 | #define STM32MP_EMMC_NORMAL_SPEED_MAX_FREQ U(26000000) /*26 MHz*/ |
| 230 | #define STM32MP_EMMC_HIGH_SPEED_MAX_FREQ U(52000000) /*52 MHz*/ |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 231 | |
| 232 | /******************************************************************************* |
Yann Gautier | 36a1e4b | 2019-01-17 14:52:47 +0100 | [diff] [blame] | 233 | * STM32MP1 BSEC / OTP |
| 234 | ******************************************************************************/ |
| 235 | #define STM32MP1_OTP_MAX_ID 0x5FU |
| 236 | #define STM32MP1_UPPER_OTP_START 0x20U |
| 237 | |
| 238 | #define OTP_MAX_SIZE (STM32MP1_OTP_MAX_ID + 1U) |
| 239 | |
| 240 | /* OTP offsets */ |
| 241 | #define DATA0_OTP U(0) |
Yann Gautier | 3edc7c3 | 2019-05-20 19:17:08 +0200 | [diff] [blame] | 242 | #define HW2_OTP U(18) |
Yann Gautier | 36a1e4b | 2019-01-17 14:52:47 +0100 | [diff] [blame] | 243 | |
| 244 | /* OTP mask */ |
| 245 | /* DATA0 */ |
| 246 | #define DATA0_OTP_SECURED BIT(6) |
| 247 | |
Yann Gautier | 3edc7c3 | 2019-05-20 19:17:08 +0200 | [diff] [blame] | 248 | /* HW2 OTP */ |
| 249 | #define HW2_OTP_PRODUCT_BELOW_2V5 BIT(13) |
| 250 | |
Yann Gautier | 36a1e4b | 2019-01-17 14:52:47 +0100 | [diff] [blame] | 251 | /******************************************************************************* |
Yann Gautier | 4193466 | 2018-07-20 11:36:05 +0200 | [diff] [blame] | 252 | * STM32MP1 TAMP |
| 253 | ******************************************************************************/ |
| 254 | #define TAMP_BASE U(0x5C00A000) |
| 255 | #define TAMP_BKP_REGISTER_BASE (TAMP_BASE + U(0x100)) |
| 256 | |
| 257 | #if !(defined(__LINKER__) || defined(__ASSEMBLY__)) |
| 258 | static inline uint32_t tamp_bkpr(uint32_t idx) |
| 259 | { |
| 260 | return TAMP_BKP_REGISTER_BASE + (idx << 2); |
| 261 | } |
| 262 | #endif |
| 263 | |
| 264 | /******************************************************************************* |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 265 | * STM32MP1 DDRCTRL |
| 266 | ******************************************************************************/ |
| 267 | #define DDRCTRL_BASE U(0x5A003000) |
| 268 | |
| 269 | /******************************************************************************* |
| 270 | * STM32MP1 DDRPHYC |
| 271 | ******************************************************************************/ |
| 272 | #define DDRPHYC_BASE U(0x5A004000) |
| 273 | |
| 274 | /******************************************************************************* |
| 275 | * STM32MP1 I2C4 |
| 276 | ******************************************************************************/ |
| 277 | #define I2C4_BASE U(0x5C002000) |
| 278 | |
Yann Gautier | 4d42947 | 2019-02-14 11:15:20 +0100 | [diff] [blame] | 279 | /******************************************************************************* |
| 280 | * Device Tree defines |
| 281 | ******************************************************************************/ |
Yann Gautier | 3d78a2e | 2019-02-14 11:01:20 +0100 | [diff] [blame] | 282 | #define DT_PWR_COMPAT "st,stm32mp1-pwr" |
Yann Gautier | 4d42947 | 2019-02-14 11:15:20 +0100 | [diff] [blame] | 283 | #define DT_RCC_CLK_COMPAT "st,stm32mp1-rcc" |
Yann Gautier | 3edc7c3 | 2019-05-20 19:17:08 +0200 | [diff] [blame] | 284 | #define DT_SYSCFG_COMPAT "st,stm32mp157-syscfg" |
Yann Gautier | 4d42947 | 2019-02-14 11:15:20 +0100 | [diff] [blame] | 285 | |
Yann Gautier | 4b0c72a | 2018-07-16 10:54:09 +0200 | [diff] [blame] | 286 | #endif /* STM32MP1_DEF_H */ |