void ISR_Tc0(void) { // Clear status bit to acknowledge interrupt AT91C_BASE_TC0->TC_SR; // Toggle LED state LED_Toggle(1); printf("2 "); }