Add first ver (very) untested skel for AT91 timer.

[bertos.git] / drv / at91 / timer.h

diff --git a/drv/at91/timer.h b/drv/at91/timer.h
new file mode 100755 (executable)
index 0000000..ca3ccdf
--- /dev/null
+++ b/drv/at91/timer.h
@@ -0,0 +1,53 @@
+/**
+ * \file
+ * <!--
+ * Copyright 2007 Develer S.r.l. (http://www.develer.com/)
+ * This file is part of DevLib - See README.devlib for information.
+ * -->
+ *
+ * \version $Id$
+ *
+ * \author Francesco Sacchi <batt@develer.com>
+ *
+ * \brief Low-level timer module for Atmel AT91 (interface).
+ */
+
+#ifndef DRV_AT91_TIMER_H
+#define DRV_AT91_TIMER_H
+
+#include <appconfig.h>     /* CONFIG_TIMER */
+#include <cfg/compiler.h>  /* uint8_t */
+#include <hw_cpu.h>        /* CLOCK_FREQ */
+
+/**
+ * \name Values for CONFIG_TIMER.
+ *
+ * Select which hardware timer interrupt to use for system clock and softtimers.
+ *
+ * \{
+ */
+#define TIMER_ON_PIT 1  ///< System timer on Periodic interval timer
+
+#define TIMER_DEFAULT TIMER_ON_PIT  ///< Default system timer
+/* \} */
+
+/*
+ * Hardware dependent timer initialization.
+ */
+#if (CONFIG_TIMER == TIMER_ON_PIT)
+
+       #define DEFINE_TIMER_ISR     void timer_handler(void)
+       #define TIMER_TICKS_PER_SEC  1000
+       #define TIMER_HW_CNT         FIXME
+
+       /// Type of time expressed in ticks of the hardware high-precision timer
+       typedef uint32_t hptime_t;
+#else
+
+       #error Unimplemented value for CONFIG_TIMER
+#endif /* CONFIG_TIMER */
+
+/** Frequency of the hardware high-precision timer. */
+#define TIMER_HW_HPTICKS_PER_SEC FIXME
+
+#endif /* DRV_TIMER_AT91_H */