/* The task that receives messages posted to a queue by the higher priority timer interrupt.  */
static void prvHighFrequencyTimerTask(void *pvParameters)
/* The task that receives messages posted to a queue by the higher priority timer interrupt.  */
static void prvHighFrequencyTimerTask(void *pvParameters)
{
	( void ) pvParameters;
	for( ;; )
	{
		xSemaphoreTake( xHighFrequencyTimerSemaphore, portMAX_DELAY );
		ulHighFrequencyTaskIterations++;
	}
}