Sistema l'errore da me commesso in fase di conversione...

[bertos.git] / drv / timer.c

diff --git a/drv/timer.c b/drv/timer.c
old mode 100755 (executable)
new mode 100644 (file)
index 3318877..3877fcf
--- a/drv/timer.c
+++ b/drv/timer.c
@@ -14,6 +14,9 @@
 
 /*#*
  *#* $Log$
+ *#* Revision 1.32  2007/10/08 12:14:32  batt
+ *#* Fix some review issues.
+ *#*
  *#* Revision 1.31  2006/07/19 12:56:26  bernie
  *#* Convert to new Doxygen style.
  *#*
@@ -284,9 +287,16 @@ DEFINE_TIMER_ISR
 #ifndef CONFIG_TIMER_DISABLE_EVENTS
        Timer *timer;
 #endif
+       /*
+        * On systems sharing IRQ line and vector, this check is needed
+        * to ensure that IRQ is generated by timer source.
+        */
+       if (!timer_hw_triggered())
+               return;
 
        TIMER_STROBE_ON;
 
+       /* Perform hw IRQ handling */
        timer_hw_irq();
 
        /* Update the master ms counter */