/**************************************************************************
*
* Copyright (c) 2019-2020 Diality Inc. - All Rights Reserved.
*
* THIS CODE MAY NOT BE COPIED OR REPRODUCED IN ANY FORM, IN PART OR IN
* WHOLE, WITHOUT THE EXPLICIT PERMISSION OF THE COPYRIGHT OWNER.
*
* @file TaskTimer.c
*
* @author (last) Sean Nash
* @date (last) 07-Nov-2019
*
* @author (original) Dara Navaei
* @date (original) 05-Nov-2019
*
***************************************************************************/

#include "CPLD.h"
#include "TaskTimer.h"
#include "WatchdogMgmt.h"
#include "Timers.h"

/**
 *  @addtogroup TaskTimer
 *  @{
 */

/*********************************************************************//**
 * @brief
 * The taskTimer function handles the scheduled Timer Task interrupt.
 * Calls the Timers executive to maintain a 1ms timer counter to
 * support timer and timeout functions.
 * @details
 * Inputs : none
 * Outputs : Executive for Timers called.
 * @return none
 *************************************************************************/
void taskTimer( void )
{
#ifdef TASK_TIMING_OUTPUT_ENABLED
    // set GPIO high to indicate timer task has begun executing
    setCPLDLampBlue( PIN_SIGNAL_HIGH );
#endif

    // increment ms timer count
    incMSTimerCount();

    // check in with watchdog manager
    checkInWithWatchdogMgmt( TASK_TIMER );

#ifdef TASK_TIMING_OUTPUT_ENABLED
    // set GPIO low to indicate timer task has finished executing
    setCPLDLampBlue( PIN_SIGNAL_LOW );
#endif
}

/**@}*/