1 files changed, 1 insertions, 0 deletions

diff --git a/firmware/target/arm/tms320dm320/timer-dm320.c b/firmware/target/arm/tms320dm320/timer-dm320.c
index ef1fac04eb..030d645664 100644
--- a/firmware/target/arm/tms320dm320/timer-dm320.c
+++ b/firmware/target/arm/tms320dm320/timer-dm320.c
@@ -27,6 +27,7 @@
 
 /* GPB0/TOUT0 should already have been configured as output so that pin
   should not be a functional pin and TIMER0 output unseen there */
+void TIMER0(void)  __attribute__ ((section(".icode")));
 void TIMER0(void)
 {
     IO_INTC_IRQ0 = INTR_IRQ0_TMR0; /* clear TIMER0 interrupt */