/* The LED timer callback function. This does nothing but switch off the LED defined by the mainTIMER_CONTROLLED_LED constant.  */
static void vLEDTimerCallback(xTimerHandle xTimer)
/* The LED timer callback function. This does nothing but switch off the LED defined by the mainTIMER_CONTROLLED_LED constant.  */
static void vLEDTimerCallback(xTimerHandle xTimer)
{
	FM3_GPIO->PDOR3 |= mainTIMER_CONTROLLED_LED;
}