|
63 | 63 | /* Application specific configuration options. */
|
64 | 64 | #include "FreeRTOSConfig.h"
|
65 | 65 |
|
| 66 | +#if !defined( configUSE_16_BIT_TICKS ) && !defined( configTICK_TYPE_WIDTH_IN_BITS ) |
| 67 | + #error Missing definition: One of configUSE_16_BIT_TICKS and configTICK_TYPE_WIDTH_IN_BITS must be defined in FreeRTOSConfig.h. See the Configuration section of the FreeRTOS API documentation for details. |
| 68 | +#endif |
| 69 | + |
| 70 | +#if defined( configUSE_16_BIT_TICKS ) && defined( configTICK_TYPE_WIDTH_IN_BITS ) |
| 71 | + #error Only one of configUSE_16_BIT_TICKS and configTICK_TYPE_WIDTH_IN_BITS must be defined in FreeRTOSConfig.h. See the Configuration section of the FreeRTOS API documentation for details. |
| 72 | +#endif |
| 73 | + |
| 74 | +/* Define configTICK_TYPE_WIDTH_IN_BITS according to the |
| 75 | + * value of configUSE_16_BIT_TICKS for backward compatibility. */ |
| 76 | +#ifndef configTICK_TYPE_WIDTH_IN_BITS |
| 77 | + #if ( configUSE_16_BIT_TICKS == 1 ) |
| 78 | + #define configTICK_TYPE_WIDTH_IN_BITS TICK_TYPE_WIDTH_16_BITS |
| 79 | + #else |
| 80 | + #define configTICK_TYPE_WIDTH_IN_BITS TICK_TYPE_WIDTH_32_BITS |
| 81 | + #endif |
| 82 | +#endif |
| 83 | + |
66 | 84 | /* Basic FreeRTOS definitions. */
|
67 | 85 | #include "projdefs.h"
|
68 | 86 |
|
|
160 | 178 | #error Missing definition: configUSE_TICK_HOOK must be defined in FreeRTOSConfig.h as either 1 or 0. See the Configuration section of the FreeRTOS API documentation for details.
|
161 | 179 | #endif
|
162 | 180 |
|
163 |
| -#if !defined( configUSE_16_BIT_TICKS ) && !defined( configTICK_TYPE_WIDTH_IN_BITS ) |
164 |
| - #error Missing definition: One of configUSE_16_BIT_TICKS and configTICK_TYPE_WIDTH_IN_BITS must be defined in FreeRTOSConfig.h. See the Configuration section of the FreeRTOS API documentation for details. |
165 |
| -#endif |
166 |
| - |
167 |
| -#if defined( configUSE_16_BIT_TICKS ) && defined( configTICK_TYPE_WIDTH_IN_BITS ) |
168 |
| - #error Only one of configUSE_16_BIT_TICKS and configTICK_TYPE_WIDTH_IN_BITS must be defined in FreeRTOSConfig.h. See the Configuration section of the FreeRTOS API documentation for details. |
169 |
| -#endif |
170 |
| - |
171 |
| -/* Define configTICK_TYPE_WIDTH_IN_BITS according to the |
172 |
| - * value of configUSE_16_BIT_TICKS for backward compatibility. */ |
173 |
| -#ifndef configTICK_TYPE_WIDTH_IN_BITS |
174 |
| - #if ( configUSE_16_BIT_TICKS == 1 ) |
175 |
| - #define configTICK_TYPE_WIDTH_IN_BITS TICK_TYPE_WIDTH_16_BITS |
176 |
| - #else |
177 |
| - #define configTICK_TYPE_WIDTH_IN_BITS TICK_TYPE_WIDTH_32_BITS |
178 |
| - #endif |
179 |
| -#endif |
180 |
| - |
181 | 181 | #if ( ( configTICK_TYPE_WIDTH_IN_BITS != TICK_TYPE_WIDTH_16_BITS ) && \
|
182 | 182 | ( configTICK_TYPE_WIDTH_IN_BITS != TICK_TYPE_WIDTH_32_BITS ) && \
|
183 | 183 | ( configTICK_TYPE_WIDTH_IN_BITS != TICK_TYPE_WIDTH_64_BITS ) )
|
|
0 commit comments