#else\r
typedef uint32_t TickType_t;\r
#define portMAX_DELAY (TickType_t) 0xFFFFFFFFF\r
+\r
+ /* 32-bit tick type on a 32-bit architecture, so reads of the tick count do\r
+ not need to be guarded with a critical section. */\r
+ #define portTICK_TYPE_IS_ATOMIC 1\r
#endif\r
\r
\r