/* The LED timer callback function. This does nothing but switch the red LED off.  */
static void vLEDTimerCallback(xTimerHandle xTimer)
/* The LED timer callback function. This does nothing but switch the red LED off.  */
static void vLEDTimerCallback(xTimerHandle xTimer)
{
	STM32vldiscovery_LEDOff( LED4 );
}