static void __attribute__((naked)) ISR_Tc2()
{
INT_STUB( __isr_tc2_helper );
}
static void __attribute__((naked)) uart1_rx_handler()
{
INT_STUB( __uart1_rx_handler_helper );
}
static void __attribute__((naked)) ISR_Pit()
{
INT_STUB( __isr_pit_helper );
}