/* Interrupt handler for TC0 interrupt. Toggles the state of LEDs.  */
void TC0_Handler(void)
/* Interrupt handler for TC0 interrupt. Toggles the state of LEDs.  */
void TC0_Handler(void)
{
	tc_get_status(TC0, 0);
	led_blink_period++;
	if (led_blink_period == LED_BLINK_PERIOD) {
		gpio_toggle_pin(LED0_GPIO);
		gpio_toggle_pin(LED1_GPIO);
		led_blink_period = 0;
	}
}