/**************************************************************************
*
* Copyright (c) 2019-2024 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)      29-Dec-2020
*
* @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
 * @details 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
}

/**@}*/