File tree Expand file tree Collapse file tree 30 files changed +54
-33
lines changed Expand file tree Collapse file tree 30 files changed +54
-33
lines changed Original file line number Diff line number Diff line change @@ -1655,7 +1655,7 @@ BaseType_t xPortStartScheduler( void ) /* PRIVILEGED_FUNCTION */
1655
1655
1656
1656
/* Check that the bits not implemented in hardware are zero in
1657
1657
* configMAX_SYSCALL_INTERRUPT_PRIORITY. */
1658
- configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( ~ ucMaxPriorityValue ) ) == 0U );
1658
+ configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityValue ) ) == 0U );
1659
1659
1660
1660
/* Calculate the maximum acceptable priority group value for the number
1661
1661
* of bits read back. */
Original file line number Diff line number Diff line change @@ -1655,7 +1655,7 @@ BaseType_t xPortStartScheduler( void ) /* PRIVILEGED_FUNCTION */
1655
1655
1656
1656
/* Check that the bits not implemented in hardware are zero in
1657
1657
* configMAX_SYSCALL_INTERRUPT_PRIORITY. */
1658
- configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( ~ ucMaxPriorityValue ) ) == 0U );
1658
+ configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityValue ) ) == 0U );
1659
1659
1660
1660
/* Calculate the maximum acceptable priority group value for the number
1661
1661
* of bits read back. */
Original file line number Diff line number Diff line change @@ -1655,7 +1655,7 @@ BaseType_t xPortStartScheduler( void ) /* PRIVILEGED_FUNCTION */
1655
1655
1656
1656
/* Check that the bits not implemented in hardware are zero in
1657
1657
* configMAX_SYSCALL_INTERRUPT_PRIORITY. */
1658
- configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( ~ ucMaxPriorityValue ) ) == 0U );
1658
+ configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityValue ) ) == 0U );
1659
1659
1660
1660
/* Calculate the maximum acceptable priority group value for the number
1661
1661
* of bits read back. */
Original file line number Diff line number Diff line change @@ -1655,7 +1655,7 @@ BaseType_t xPortStartScheduler( void ) /* PRIVILEGED_FUNCTION */
1655
1655
1656
1656
/* Check that the bits not implemented in hardware are zero in
1657
1657
* configMAX_SYSCALL_INTERRUPT_PRIORITY. */
1658
- configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( ~ ucMaxPriorityValue ) ) == 0U );
1658
+ configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityValue ) ) == 0U );
1659
1659
1660
1660
/* Calculate the maximum acceptable priority group value for the number
1661
1661
* of bits read back. */
Original file line number Diff line number Diff line change @@ -1655,7 +1655,7 @@ BaseType_t xPortStartScheduler( void ) /* PRIVILEGED_FUNCTION */
1655
1655
1656
1656
/* Check that the bits not implemented in hardware are zero in
1657
1657
* configMAX_SYSCALL_INTERRUPT_PRIORITY. */
1658
- configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( ~ ucMaxPriorityValue ) ) == 0U );
1658
+ configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityValue ) ) == 0U );
1659
1659
1660
1660
/* Calculate the maximum acceptable priority group value for the number
1661
1661
* of bits read back. */
Original file line number Diff line number Diff line change @@ -1655,7 +1655,7 @@ BaseType_t xPortStartScheduler( void ) /* PRIVILEGED_FUNCTION */
1655
1655
1656
1656
/* Check that the bits not implemented in hardware are zero in
1657
1657
* configMAX_SYSCALL_INTERRUPT_PRIORITY. */
1658
- configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( ~ ucMaxPriorityValue ) ) == 0U );
1658
+ configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityValue ) ) == 0U );
1659
1659
1660
1660
/* Calculate the maximum acceptable priority group value for the number
1661
1661
* of bits read back. */
Original file line number Diff line number Diff line change @@ -1655,7 +1655,7 @@ BaseType_t xPortStartScheduler( void ) /* PRIVILEGED_FUNCTION */
1655
1655
1656
1656
/* Check that the bits not implemented in hardware are zero in
1657
1657
* configMAX_SYSCALL_INTERRUPT_PRIORITY. */
1658
- configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( ~ ucMaxPriorityValue ) ) == 0U );
1658
+ configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityValue ) ) == 0U );
1659
1659
1660
1660
/* Calculate the maximum acceptable priority group value for the number
1661
1661
* of bits read back. */
Original file line number Diff line number Diff line change @@ -74,6 +74,11 @@ typedef unsigned long UBaseType_t;
74
74
#error configTICK_TYPE_WIDTH_IN_BITS set to unsupported tick type width.
75
75
#endif
76
76
77
+ /* Errata 837070 workaround must be enabled on Cortex-M7 r0p0
78
+ * and r0p1 cores. */
79
+ #ifndef configENABLE_ERRATA_837070_WORKAROUND
80
+ #define configENABLE_ERRATA_837070_WORKAROUND 0
81
+ #endif
77
82
/*-----------------------------------------------------------*/
78
83
79
84
/* MPU specific constants. */
Original file line number Diff line number Diff line change @@ -1655,7 +1655,7 @@ BaseType_t xPortStartScheduler( void ) /* PRIVILEGED_FUNCTION */
1655
1655
1656
1656
/* Check that the bits not implemented in hardware are zero in
1657
1657
* configMAX_SYSCALL_INTERRUPT_PRIORITY. */
1658
- configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( ~ ucMaxPriorityValue ) ) == 0U );
1658
+ configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityValue ) ) == 0U );
1659
1659
1660
1660
/* Calculate the maximum acceptable priority group value for the number
1661
1661
* of bits read back. */
Original file line number Diff line number Diff line change @@ -1655,7 +1655,7 @@ BaseType_t xPortStartScheduler( void ) /* PRIVILEGED_FUNCTION */
1655
1655
1656
1656
/* Check that the bits not implemented in hardware are zero in
1657
1657
* configMAX_SYSCALL_INTERRUPT_PRIORITY. */
1658
- configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( ~ ucMaxPriorityValue ) ) == 0U );
1658
+ configASSERT ( ( configMAX_SYSCALL_INTERRUPT_PRIORITY & ( uint8_t ) ( ~( uint32_t ) ucMaxPriorityValue ) ) == 0U );
1659
1659
1660
1660
/* Calculate the maximum acceptable priority group value for the number
1661
1661
* of bits read back. */
You can’t perform that action at this time.
0 commit comments