/* Interrupt handler for TC0. Record the number of bytes received, and then restart a read transfer on the USART if the transfer was stopped.  */
void TC0_Handler(void)
/* Interrupt handler for TC0. Record the number of bytes received, and then restart a read transfer on the USART if the transfer was stopped.  */
void TC0_Handler(void)
{
	tc_get_status(TC0, 0);
	lin_master_task_ID12();
}