/*
* $Log$
+ * Revision 1.11 2004/08/02 20:20:29 aleph
+ * Merge from project_ks
+ *
+ * Revision 1.10 2004/07/30 14:15:53 rasky
+ * Nuovo supporto unificato per detect della CPU
+ *
* Revision 1.9 2004/07/21 00:15:13 bernie
* Put timer driver on diet.
*
#include "hw.h"
#include "kdebug.h"
#include "timer.h"
+#include CPU_HEADER(timer)
#if defined(CONFIG_KERN_SIGNALS) && CONFIG_KERN_SIGNALS
#include <kern/proc.h>
#endif
-#if defined(ARCH_EMUL) && (ARCH & ARCH_EMUL)
- #error To be recoded
-#elif defined(__AVR__)
- #include "timer_avr.h"
-#elif defined(__IAR_SYSTEMS_ICC) || defined(__IAR_SYSTEMS_ICC__) /* 80C196 */
- #include "timer_i196.h"
-#elif defined (__m56800__)
- #include "timer_dsp56k.h"
-#else
- #error Unknown system
-#endif
-
-
//! Master system clock (1ms accuracy)
volatile time_t _clock;
REMOVE((Node *)timer);
/* Execute the associated event */
- event_doIntr(&timer->expire);
+ event_do(&timer->expire);
}
#endif /* CONFIG_TIMER_DISABLE_EVENTS */