/** @file sys_phantom.c 
*   @brief Phantom Interrupt Source File
*   @date 15.Mar.2012
*   @version 03.01.00
*
*   This file contains:
*   - Phantom Interrupt Handler
*/

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

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


/* Phantom Interrupt Handler */

/* USER CODE BEGIN (1) */

/* 2012-12-07 >> */
void phantomInterrupt(void) __attribute__ ((interrupt("IRQ")));
/* << 2012-12-07 */

/* USER CODE END */

void phantomInterrupt(void)
{
/* USER CODE BEGIN (2) */
/* USER CODE END */
}

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