From 9708a3c30ff4ce1d95b3333b6be4375138a89be5 Mon Sep 17 00:00:00 2001
From: gdisirio <gdisirio@35acf78f-673a-0410-8e92-d51de3d6d3f4>
Date: Sun, 24 Feb 2013 15:35:53 +0000
Subject: git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@5313
 35acf78f-673a-0410-8e92-d51de3d6d3f4

---
 os/hal/templates/hal_lld.h | 32 +++++++++++++++++++++++++++++---
 1 file changed, 29 insertions(+), 3 deletions(-)

(limited to 'os/hal/templates/hal_lld.h')

diff --git a/os/hal/templates/hal_lld.h b/os/hal/templates/hal_lld.h
index 957d40099..59f64b869 100644
--- a/os/hal/templates/hal_lld.h
+++ b/os/hal/templates/hal_lld.h
@@ -36,12 +36,14 @@
 /**
  * @brief   Defines the support for realtime counters in the HAL.
  */
-#define HAL_IMPLEMENTS_COUNTERS             TRUE
+#define HAL_IMPLEMENTS_COUNTERS TRUE
 
 /**
- * @brief   Platform name.
+ * @name    Platform identification
+ * @{
  */
-#define PLATFORM_NAME                       ""
+#define PLATFORM_NAME           ""
+/** @} */
 
 /*===========================================================================*/
 /* Driver pre-compile time settings.                                         */
@@ -50,6 +52,7 @@
 /*===========================================================================*/
 /* Derived constants and error checks.                                       */
 /*===========================================================================*/
+
 /*
  * Configuration-related checks.
  */
@@ -75,6 +78,29 @@ typedef uint32_t halrtcnt_t;
 /* Driver macros.                                                            */
 /*===========================================================================*/
 
+/**
+ * @brief   Returns the current value of the system free running counter.
+ * @note    This service is implemented by returning the content of the
+ *          DWT_CYCCNT register.
+ *
+ * @return              The value of the system free running counter of
+ *                      type halrtcnt_t.
+ *
+ * @notapi
+ */
+#define hal_lld_get_counter_value()         0
+
+/**
+ * @brief   Realtime counter frequency.
+ * @note    The DWT_CYCCNT register is incremented directly by the system
+ *          clock so this function returns STM32_HCLK.
+ *
+ * @return              The realtime counter frequency of type halclock_t.
+ *
+ * @notapi
+ */
+#define hal_lld_get_counter_frequency()     0
+
 /*===========================================================================*/
 /* External declarations.                                                    */
 /*===========================================================================*/
-- 
cgit v1.2.3