/*#*
*#* $Log$
+ *#* Revision 1.24 2005/04/11 19:10:28 bernie
+ *#* Include top-level headers from cfg/ subdir.
+ *#*
+ *#* Revision 1.23 2005/03/01 23:25:46 bernie
+ *#* Move event.h to mware/.
+ *#*
+ *#* Revision 1.22 2004/12/13 12:07:06 bernie
+ *#* DISABLE_IRQSAVE/ENABLE_IRQRESTORE: Convert to IRQ_SAVE_DISABLE/IRQ_RESTORE.
+ *#*
*#* Revision 1.21 2004/12/09 08:35:21 bernie
*#* Replace IPTR with iptr_t.
*#*
#define DRV_TIMER_H
#include <mware/list.h>
-#include <cpu.h>
-#include <compiler.h>
-#include <config.h>
+#include <cfg/cpu.h>
+#include <cfg/compiler.h>
+#include <cfg/config.h>
/*! Number of timer ticks per second. */
#define TICKS_PER_SEC ((mtime_t)1000)
#ifndef CONFIG_TIMER_DISABLE_EVENTS
-#if CONFIG_KERNEL
- #include <kern/event.h>
-#else
- #include <mware/event.h>
-#endif
+#include <mware/event.h>
/*!
* The timer driver supports multiple synchronous timers
INLINE mtime_t timer_ticks(void)
{
mtime_t result;
- cpuflags_t flags;
- DISABLE_IRQSAVE(flags);
- result = _clock;
- ENABLE_IRQRESTORE(flags);
+ ATOMIC(result = _clock);
return result;
}