/** @file rti.c 
*   @brief RTI Driver Source File
*   @date 15.Aug.2012
*   @version 03.03.00
*
*   This file contains:
*   - Interrupt Handlers
*   .
*   which are relevant for the RTI driver.
*/

/* (c) Texas Instruments 2009-2011, All rights reserved. */


/* USER CODE BEGIN (0) */
/* USER CODE END */

/* Include Files */

#include "rti.h"

/* USER CODE BEGIN (1) */
/* 2012-12-07 >> */
//void rtiCompare0Interrupt(void) __attribute__ ((interrupt("IRQ")));
/* << 2012-12-07 */
/* USER CODE END */

/* USER CODE BEGIN (72) */
/* 2012-12-07 >> */
/*
#define IRQ __irq
#define FIQ __fiq
*/
#define IRQ
#define FIQ
/* << 2012-12-07 */
/* USER CODE END */

/* USER CODE BEGIN (73) */
/* USER CODE END */

/** @fn void rtiCompare0Interrupt(void)
*   @brief RTI1 Compare 0 Interrupt Handler
*
*   RTI1 Compare 0 interrupt handler 
*
*/
IRQ

void rtiCompare0InterruptUser(void)
{
/* USER CODE BEGIN (74) */
/* USER CODE END */

    rtiREG1->INTFLAG = 1U;
    rtiNotification(rtiNOTIFICATION_COMPARE0);

/* USER CODE BEGIN (75) */
/* USER CODE END */
}

