2 * FreeRTOS Kernel <DEVELOPMENT BRANCH>
3 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
5 * SPDX-License-Identifier: MIT
7 * Permission is hereby granted, free of charge, to any person obtaining a copy of
8 * this software and associated documentation files (the "Software"), to deal in
9 * the Software without restriction, including without limitation the rights to
10 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
11 * the Software, and to permit persons to whom the Software is furnished to do so,
12 * subject to the following conditions:
14 * The above copyright notice and this permission notice shall be included in all
15 * copies or substantial portions of the Software.
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
19 * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
20 * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
21 * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
22 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
24 * https://www.FreeRTOS.org
25 * https://github.com/FreeRTOS
39 /*-----------------------------------------------------------
40 * Port specific definitions.
42 * The settings in this file configure FreeRTOS correctly for the
43 * given hardware and compiler.
45 * These settings should not be altered.
46 *-----------------------------------------------------------
49 /* Type definitions. */
51 #define portFLOAT float
52 #define portDOUBLE double
54 #define portSHORT short
55 #define portSTACK_TYPE uint32_t
56 #define portBASE_TYPE long
58 typedef portSTACK_TYPE StackType_t;
59 typedef long BaseType_t;
60 typedef unsigned long UBaseType_t;
62 #if ( configTICK_TYPE_WIDTH_IN_BITS == TICK_TYPE_WIDTH_16_BITS )
63 typedef uint16_t TickType_t;
64 #define portMAX_DELAY ( TickType_t ) 0xffff
65 #elif ( configTICK_TYPE_WIDTH_IN_BITS == TICK_TYPE_WIDTH_32_BITS )
66 typedef uint32_t TickType_t;
67 #define portMAX_DELAY ( TickType_t ) 0xffffffffUL
69 /* 32-bit tick type on a 32-bit architecture, so reads of the tick count do
70 * not need to be guarded with a critical section. */
71 #define portTICK_TYPE_IS_ATOMIC 1
73 #error configTICK_TYPE_WIDTH_IN_BITS set to unsupported tick type width.
76 /*-----------------------------------------------------------*/
78 /* MPU specific constants. */
79 #define portUSING_MPU_WRAPPERS 1
80 #define portPRIVILEGE_BIT ( 0x80000000UL )
82 #define portMPU_REGION_READ_WRITE ( 0x03UL << 24UL )
83 #define portMPU_REGION_PRIVILEGED_READ_ONLY ( 0x05UL << 24UL )
84 #define portMPU_REGION_READ_ONLY ( 0x06UL << 24UL )
85 #define portMPU_REGION_PRIVILEGED_READ_WRITE ( 0x01UL << 24UL )
86 #define portMPU_REGION_PRIVILEGED_READ_WRITE_UNPRIV_READ_ONLY ( 0x02UL << 24UL )
87 #define portMPU_REGION_CACHEABLE_BUFFERABLE ( 0x07UL << 16UL )
88 #define portMPU_REGION_EXECUTE_NEVER ( 0x01UL << 28UL )
90 /* Location of the TEX,S,C,B bits in the MPU Region Attribute and Size
92 #define portMPU_RASR_TEX_S_C_B_LOCATION ( 16UL )
93 #define portMPU_RASR_TEX_S_C_B_MASK ( 0x3FUL )
95 /* MPU settings that can be overriden in FreeRTOSConfig.h. */
96 #ifndef configTOTAL_MPU_REGIONS
97 /* Define to 8 for backward compatibility. */
98 #define configTOTAL_MPU_REGIONS ( 8UL )
102 * The TEX, Shareable (S), Cacheable (C) and Bufferable (B) bits define the
103 * memory type, and where necessary the cacheable and shareable properties
104 * of the memory region.
106 * The TEX, C, and B bits together indicate the memory type of the region,
108 * - For Normal memory, the cacheable properties of the region.
109 * - For Device memory, whether the region is shareable.
111 * For Normal memory regions, the S bit indicates whether the region is
112 * shareable. For Strongly-ordered and Device memory, the S bit is ignored.
114 * See the following two tables for setting TEX, S, C and B bits for
115 * unprivileged flash, privileged flash and privileged RAM regions.
117 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
118 | TEX | C | B | Memory type | Description or Normal region cacheability | Shareable? |
119 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
120 | 000 | 0 | 0 | Strongly-ordered | Strongly ordered | Shareable |
121 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
122 | 000 | 0 | 1 | Device | Shared device | Shareable |
123 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
124 | 000 | 1 | 0 | Normal | Outer and inner write-through; no write allocate | S bit |
125 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
126 | 000 | 1 | 1 | Normal | Outer and inner write-back; no write allocate | S bit |
127 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
128 | 001 | 0 | 0 | Normal | Outer and inner Non-cacheable | S bit |
129 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
130 | 001 | 0 | 1 | Reserved | Reserved | Reserved |
131 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
132 | 001 | 1 | 0 | IMPLEMENTATION DEFINED | IMPLEMENTATION DEFINED | IMPLEMENTATION DEFINED |
133 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
134 | 001 | 1 | 1 | Normal | Outer and inner write-back; write and read allocate | S bit |
135 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
136 | 010 | 0 | 0 | Device | Non-shared device | Not shareable |
137 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
138 | 010 | 0 | 1 | Reserved | Reserved | Reserved |
139 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
140 | 010 | 1 | X | Reserved | Reserved | Reserved |
141 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
142 | 011 | X | X | Reserved | Reserved | Reserved |
143 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
144 | 1BB | A | A | Normal | Cached memory, with AA and BB indicating the inner and | Reserved |
145 | | | | | outer cacheability rules that must be exported on the | |
146 | | | | | bus. See the table below for the cacheability policy | |
147 | | | | | encoding. memory, BB=Outer policy, AA=Inner policy. | |
148 +-----+---+---+------------------------+--------------------------------------------------------+-------------------------+
150 +-----------------------------------------+----------------------------------------+
151 | AA or BB subfield of {TEX,C,B} encoding | Cacheability policy |
152 +-----------------------------------------+----------------------------------------+
153 | 00 | Non-cacheable |
154 +-----------------------------------------+----------------------------------------+
155 | 01 | Write-back, write and read allocate |
156 +-----------------------------------------+----------------------------------------+
157 | 10 | Write-through, no write allocate |
158 +-----------------------------------------+----------------------------------------+
159 | 11 | Write-back, no write allocate |
160 +-----------------------------------------+----------------------------------------+
163 /* TEX, Shareable (S), Cacheable (C) and Bufferable (B) bits for Flash
165 #ifndef configTEX_S_C_B_FLASH
166 /* Default to TEX=000, S=1, C=1, B=1 for backward compatibility. */
167 #define configTEX_S_C_B_FLASH ( 0x07UL )
170 /* TEX, Shareable (S), Cacheable (C) and Bufferable (B) bits for SRAM
172 #ifndef configTEX_S_C_B_SRAM
173 /* Default to TEX=000, S=1, C=1, B=1 for backward compatibility. */
174 #define configTEX_S_C_B_SRAM ( 0x07UL )
177 #define portGENERAL_PERIPHERALS_REGION ( configTOTAL_MPU_REGIONS - 5UL )
178 #define portSTACK_REGION ( configTOTAL_MPU_REGIONS - 4UL )
179 #define portUNPRIVILEGED_FLASH_REGION ( configTOTAL_MPU_REGIONS - 3UL )
180 #define portPRIVILEGED_FLASH_REGION ( configTOTAL_MPU_REGIONS - 2UL )
181 #define portPRIVILEGED_RAM_REGION ( configTOTAL_MPU_REGIONS - 1UL )
182 #define portFIRST_CONFIGURABLE_REGION ( 0UL )
183 #define portLAST_CONFIGURABLE_REGION ( configTOTAL_MPU_REGIONS - 6UL )
184 #define portNUM_CONFIGURABLE_REGIONS ( configTOTAL_MPU_REGIONS - 5UL )
185 #define portTOTAL_NUM_REGIONS_IN_TCB ( portNUM_CONFIGURABLE_REGIONS + 1 ) /* Plus 1 to create space for the stack region. */
187 void vPortSwitchToUserMode( void );
188 #define portSWITCH_TO_USER_MODE() vPortSwitchToUserMode()
190 typedef struct MPU_REGION_REGISTERS
192 uint32_t ulRegionBaseAddress;
193 uint32_t ulRegionAttribute;
194 } xMPU_REGION_REGISTERS;
196 typedef struct MPU_REGION_SETTINGS
198 uint32_t ulRegionStartAddress;
199 uint32_t ulRegionEndAddress;
200 uint32_t ulRegionPermissions;
201 } xMPU_REGION_SETTINGS;
203 #if ( configUSE_MPU_WRAPPERS_V1 == 0 )
205 #ifndef configSYSTEM_CALL_STACK_SIZE
206 #error configSYSTEM_CALL_STACK_SIZE must be defined to the desired size of the system call stack in words for using MPU wrappers v2.
209 typedef struct SYSTEM_CALL_STACK_INFO
211 uint32_t ulSystemCallStackBuffer[ configSYSTEM_CALL_STACK_SIZE ];
212 uint32_t * pulSystemCallStack;
213 uint32_t * pulTaskStack;
214 uint32_t ulLinkRegisterAtSystemCallEntry;
215 } xSYSTEM_CALL_STACK_INFO;
217 #endif /* #if ( configUSE_MPU_WRAPPERS_V1 == 0 ) */
219 #define MAX_CONTEXT_SIZE 52
221 /* Flags used for xMPU_SETTINGS.ulTaskFlags member. */
222 #define portSTACK_FRAME_HAS_PADDING_FLAG ( 1UL << 0UL )
223 #define portTASK_IS_PRIVILEGED_FLAG ( 1UL << 1UL )
225 typedef struct MPU_SETTINGS
227 xMPU_REGION_REGISTERS xRegion[ portTOTAL_NUM_REGIONS_IN_TCB ];
228 xMPU_REGION_SETTINGS xRegionSettings[ portTOTAL_NUM_REGIONS_IN_TCB ];
229 uint32_t ulContext[ MAX_CONTEXT_SIZE ];
230 uint32_t ulTaskFlags;
232 #if ( configUSE_MPU_WRAPPERS_V1 == 0 )
233 xSYSTEM_CALL_STACK_INFO xSystemCallStackInfo;
237 /* Architecture specifics. */
238 #define portSTACK_GROWTH ( -1 )
239 #define portTICK_PERIOD_MS ( ( TickType_t ) 1000 / configTICK_RATE_HZ )
240 #define portBYTE_ALIGNMENT 8
242 /* Constants used with memory barrier intrinsics. */
243 #define portSY_FULL_READ_WRITE ( 15 )
245 /*-----------------------------------------------------------*/
247 /* SVC numbers for various services. */
248 #define portSVC_START_SCHEDULER 0
249 #define portSVC_YIELD 1
250 #define portSVC_RAISE_PRIVILEGE 2
251 #define portSVC_SYSTEM_CALL_ENTER 3 /* System calls with upto 4 parameters. */
252 #define portSVC_SYSTEM_CALL_ENTER_1 4 /* System calls with 5 parameters. */
253 #define portSVC_SYSTEM_CALL_EXIT 5
255 /* Scheduler utilities. */
257 #define portYIELD() __asm{ SVC portSVC_YIELD }
258 #define portYIELD_WITHIN_API() \
260 /* Set a PendSV to request a context switch. */ \
261 portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT; \
263 /* Barriers are normally not required but do ensure the code is completely \
264 * within the specified behaviour for the architecture. */ \
265 __dsb( portSY_FULL_READ_WRITE ); \
266 __isb( portSY_FULL_READ_WRITE ); \
268 /*-----------------------------------------------------------*/
270 #define portNVIC_INT_CTRL_REG ( *( ( volatile uint32_t * ) 0xe000ed04 ) )
271 #define portNVIC_PENDSVSET_BIT ( 1UL << 28UL )
272 #define portEND_SWITCHING_ISR( xSwitchRequired ) do { if( xSwitchRequired ) portNVIC_INT_CTRL_REG = portNVIC_PENDSVSET_BIT; } while( 0 )
273 #define portYIELD_FROM_ISR( x ) portEND_SWITCHING_ISR( x )
274 /*-----------------------------------------------------------*/
276 /* Critical section management. */
277 extern void vPortEnterCritical( void );
278 extern void vPortExitCritical( void );
280 #define portDISABLE_INTERRUPTS() vPortRaiseBASEPRI()
281 #define portENABLE_INTERRUPTS() vPortSetBASEPRI( 0 )
282 #define portENTER_CRITICAL() vPortEnterCritical()
283 #define portEXIT_CRITICAL() vPortExitCritical()
284 #define portSET_INTERRUPT_MASK_FROM_ISR() ulPortRaiseBASEPRI()
285 #define portCLEAR_INTERRUPT_MASK_FROM_ISR( x ) vPortSetBASEPRI( x )
287 /*-----------------------------------------------------------*/
289 /* Architecture specific optimisations. */
290 #ifndef configUSE_PORT_OPTIMISED_TASK_SELECTION
291 #define configUSE_PORT_OPTIMISED_TASK_SELECTION 1
294 #if configUSE_PORT_OPTIMISED_TASK_SELECTION == 1
296 /* Check the configuration. */
297 #if ( configMAX_PRIORITIES > 32 )
298 #error configUSE_PORT_OPTIMISED_TASK_SELECTION can only be set to 1 when configMAX_PRIORITIES is less than or equal to 32. It is very rare that a system requires more than 10 to 15 difference priorities as tasks that share a priority will time slice.
301 /* Store/clear the ready priorities in a bit map. */
302 #define portRECORD_READY_PRIORITY( uxPriority, uxReadyPriorities ) ( uxReadyPriorities ) |= ( 1UL << ( uxPriority ) )
303 #define portRESET_READY_PRIORITY( uxPriority, uxReadyPriorities ) ( uxReadyPriorities ) &= ~( 1UL << ( uxPriority ) )
305 /*-----------------------------------------------------------*/
307 #define portGET_HIGHEST_PRIORITY( uxTopPriority, uxReadyPriorities ) uxTopPriority = ( 31UL - ( uint32_t ) __clz( ( uxReadyPriorities ) ) )
309 #endif /* configUSE_PORT_OPTIMISED_TASK_SELECTION */
310 /*-----------------------------------------------------------*/
312 /* Task function macros as described on the FreeRTOS.org WEB site. These are
313 * not necessary for to use this port. They are defined so the common demo files
314 * (which build with all the ports) will build. */
315 #define portTASK_FUNCTION_PROTO( vFunction, pvParameters ) void vFunction( void * pvParameters )
316 #define portTASK_FUNCTION( vFunction, pvParameters ) void vFunction( void * pvParameters )
317 /*-----------------------------------------------------------*/
320 void vPortValidateInterruptPriority( void );
321 #define portASSERT_IF_INTERRUPT_PRIORITY_INVALID() vPortValidateInterruptPriority()
324 /* portNOP() is not required by this port. */
327 #define portINLINE __inline
329 #ifndef portFORCE_INLINE
330 #define portFORCE_INLINE __forceinline
332 /*-----------------------------------------------------------*/
334 extern BaseType_t xIsPrivileged( void );
335 extern void vResetPrivilege( void );
338 * @brief Checks whether or not the processor is privileged.
340 * @return 1 if the processor is already privileged, 0 otherwise.
342 #define portIS_PRIVILEGED() xIsPrivileged()
345 * @brief Raise an SVC request to raise privilege.
347 #define portRAISE_PRIVILEGE() __asm { svc portSVC_RAISE_PRIVILEGE }
350 * @brief Lowers the privilege level by setting the bit 0 of the CONTROL
353 #define portRESET_PRIVILEGE() vResetPrivilege()
354 /*-----------------------------------------------------------*/
356 extern BaseType_t xPortIsTaskPrivileged( void );
359 * @brief Checks whether or not the calling task is privileged.
361 * @return pdTRUE if the calling task is privileged, pdFALSE otherwise.
363 #define portIS_TASK_PRIVILEGED() xPortIsTaskPrivileged()
364 /*-----------------------------------------------------------*/
366 static portFORCE_INLINE void vPortSetBASEPRI( uint32_t ulBASEPRI )
370 /* Barrier instructions are not used as this function is only used to
371 * lower the BASEPRI value. */
373 msr basepri, ulBASEPRI
377 /*-----------------------------------------------------------*/
379 static portFORCE_INLINE void vPortRaiseBASEPRI( void )
381 uint32_t ulNewBASEPRI = configMAX_SYSCALL_INTERRUPT_PRIORITY;
385 /* Set BASEPRI to the max syscall priority to effect a critical
388 #if ( configENABLE_ERRATA_837070_WORKAROUND == 1 )
391 msr basepri, ulNewBASEPRI
394 #if ( configENABLE_ERRATA_837070_WORKAROUND == 1 )
400 /*-----------------------------------------------------------*/
402 static portFORCE_INLINE void vPortClearBASEPRIFromISR( void )
406 /* Set BASEPRI to 0 so no interrupts are masked. This function is only
407 * used to lower the mask in an interrupt, so memory barriers are not
414 /*-----------------------------------------------------------*/
416 static portFORCE_INLINE uint32_t ulPortRaiseBASEPRI( void )
418 uint32_t ulReturn, ulNewBASEPRI = configMAX_SYSCALL_INTERRUPT_PRIORITY;
422 /* Set BASEPRI to the max syscall priority to effect a critical
425 mrs ulReturn, basepri
426 #if ( configENABLE_ERRATA_837070_WORKAROUND == 1 )
429 msr basepri, ulNewBASEPRI
432 #if ( configENABLE_ERRATA_837070_WORKAROUND == 1 )
440 /*-----------------------------------------------------------*/
442 static portFORCE_INLINE BaseType_t xPortIsInsideInterrupt( void )
444 uint32_t ulCurrentInterrupt;
447 /* Obtain the number of the currently executing interrupt. */
450 mrs ulCurrentInterrupt, ipsr
453 if( ulCurrentInterrupt == 0 )
464 /*-----------------------------------------------------------*/
466 #ifndef configENFORCE_SYSTEM_CALLS_FROM_KERNEL_ONLY
467 #warning "configENFORCE_SYSTEM_CALLS_FROM_KERNEL_ONLY is not defined. We recommend defining it to 1 in FreeRTOSConfig.h for better security. https://www.FreeRTOS.org/FreeRTOS-V10.3.x.html"
468 #define configENFORCE_SYSTEM_CALLS_FROM_KERNEL_ONLY 0
470 /*-----------------------------------------------------------*/
478 #endif /* PORTMACRO_H */