+ is the highest priority task in the system.\r
+\r
+ This function is called from the tick hook. The tick hook is called\r
+ even when the scheduler is suspended. Therefore it is possible that the\r
+ uxTick count maintained in this function is temporarily ahead of the tick\r
+ count maintained by the kernel. When this is the case a message posted from\r
+ this function will assume a time stamp in advance of the real time stamp,\r
+ which can result in a timer being processed before this function expects it\r
+ to. For example, if the kernel's tick count was 100, and uxTick was 102,\r
+ then this function will not expect the timer to have expired until the\r
+ kernel's tick count is (102 + xBasePeriod), whereas in reality the timer\r
+ will expire when the kernel's tick count is (100 + xBasePeriod). For this\r
+ reason xMargin is used as an allowable margin for premature timer expiries\r
+ as well as late timer expiries. */\r
+ #ifdef _WINDOWS_\r
+ /* Windows is not real real time. */\r
+ const TickType_t xMargin = 20;\r
+ #else\r
+ const TickType_t xMargin = 6;\r
+ #endif /* _WINDOWS_ */\r