BaseType_txTaskGenericCreate(pdTASK_CODEpxTaskCode,constchar*constpcName,constuint16_tusStackDepth,void*constpvParameters,UBaseType_tuxPriority,TaskHandle_t*constpxCreatedTask,StackType_t*constpuxStackBuffer,constMemoryRegion_t*constxRegions)PRIVILEGED_FUNCTION;/*lint !e971 Unqualified char types are allowed for strings and single characters only. */
BaseType_txTaskGenericCreate(TaskFunction_tpxTaskCode,constchar*constpcName,constuint16_tusStackDepth,void*constpvParameters,UBaseType_tuxPriority,TaskHandle_t*constpxCreatedTask,StackType_t*constpuxStackBuffer,constMemoryRegion_t*constxRegions)PRIVILEGED_FUNCTION;/*lint !e971 Unqualified char types are allowed for strings and single characters only. */
TimerHandle_txTimerCreate(constchar*constpcTimerName,constTickType_txTimerPeriodInTicks,constUBaseType_tuxAutoReload,void*constpvTimerID,tmrTIMER_CALLBACKpxCallbackFunction)PRIVILEGED_FUNCTION;/*lint !e971 Unqualified char types are allowed for strings and single characters only. */
TimerHandle_txTimerCreate(constchar*constpcTimerName,constTickType_txTimerPeriodInTicks,constUBaseType_tuxAutoReload,void*constpvTimerID,TimerCallbackFunction_tpxCallbackFunction)PRIVILEGED_FUNCTION;/*lint !e971 Unqualified char types are allowed for strings and single characters only. */
(void)xQueueGenericReceive((QueueHandle_t)xQueueSet,&xReturn,xBlockTimeTicks,pdFALSE);/*lint !e961 Casting from one typedef to another is not redundant. */
BaseType_txTaskGenericCreate(pdTASK_CODEpxTaskCode,constchar*constpcName,constuint16_tusStackDepth,void*constpvParameters,UBaseType_tuxPriority,TaskHandle_t*constpxCreatedTask,StackType_t*constpuxStackBuffer,constMemoryRegion_t*constxRegions)/*lint !e971 Unqualified char types are allowed for strings and single characters only. */
BaseType_txTaskGenericCreate(TaskFunction_tpxTaskCode,constchar*constpcName,constuint16_tusStackDepth,void*constpvParameters,UBaseType_tuxPriority,TaskHandle_t*constpxCreatedTask,StackType_t*constpuxStackBuffer,constMemoryRegion_t*constxRegions)/*lint !e971 Unqualified char types are allowed for strings and single characters only. */
#error configUSE_TIMERS must be set to 1 to make the INCLUDE_xTimerPendFunctionCallFromISR() function available.
#endif
/* Lint e961 and e750 are suppressed as a MISRA exception justified because the
@ -99,12 +99,12 @@ configUSE_TIMERS is set to 1 in FreeRTOSConfig.h. */
/* The definition of the timers themselves. */
typedefstructtmrTimerControl
{
constchar*pcTimerName;/*<< Text name. This is not used by the kernel, it is included simply to make debugging easier. *//*lint !e971 Unqualified char types are allowed for strings and single characters only. */
ListItem_txTimerListItem;/*<< Standard linked list item as used by all kernel features for event management. */
TickType_txTimerPeriodInTicks;/*<< How quickly and often the timer expires. */
UBaseType_tuxAutoReload;/*<< Set to pdTRUE if the timer should be automatically restarted once expired. Set to pdFALSE if the timer is, in effect, a one-shot timer. */
void*pvTimerID;/*<< An ID to identify the timer. This allows the timer to be identified when the same callback is used for multiple timers. */
tmrTIMER_CALLBACKpxCallbackFunction;/*<< The function that will be called when the timer expires. */
constchar*pcTimerName;/*<< Text name. This is not used by the kernel, it is included simply to make debugging easier. *//*lint !e971 Unqualified char types are allowed for strings and single characters only. */
ListItem_txTimerListItem;/*<< Standard linked list item as used by all kernel features for event management. */
TickType_txTimerPeriodInTicks;/*<< How quickly and often the timer expires. */
UBaseType_tuxAutoReload;/*<< Set to pdTRUE if the timer should be automatically restarted once expired. Set to pdFALSE if the timer is, in effect, a one-shot timer. */
void*pvTimerID;/*<< An ID to identify the timer. This allows the timer to be identified when the same callback is used for multiple timers. */
TimerCallbackFunction_tpxCallbackFunction;/*<< The function that will be called when the timer expires. */
}Timer_t;
/* The definition of messages that can be sent and received on the timer queue.
TimerHandle_txTimerCreate(constchar*constpcTimerName,constTickType_txTimerPeriodInTicks,constUBaseType_tuxAutoReload,void*constpvTimerID,tmrTIMER_CALLBACKpxCallbackFunction)/*lint !e971 Unqualified char types are allowed for strings and single characters only. */
TimerHandle_txTimerCreate(constchar*constpcTimerName,constTickType_txTimerPeriodInTicks,constUBaseType_tuxAutoReload,void*constpvTimerID,TimerCallbackFunction_tpxCallbackFunction)/*lint !e971 Unqualified char types are allowed for strings and single characters only. */
{
Timer_t*pxNewTimer;
@ -572,7 +572,7 @@ TickType_t xTimeNow;
while(xQueueReceive(xTimerQueue,&xMessage,tmrNO_DELAY)!=pdFAIL)/*lint !e603 xMessage does not have to be initialised as it is passed out, not in, and it is not used unless xQueueReceive() returns pdTRUE. */