Add support for lo- and hi-res RTC hardware

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4005 7fd9a85b-ad96-42d3-883c-3090e2eb8679

1 files changed, 3 insertions, 11 deletions

diff --git a/nuttx/sched/clock_systimer.c b/nuttx/sched/clock_systimer.c
index cfa019fc75..2061b1de6b 100644
--- a/nuttx/sched/clock_systimer.c
+++ b/nuttx/sched/clock_systimer.c
@@ -85,20 +85,12 @@ uint32_t clock_systimer(void)
   uint32_t tickcount;
 #endif
 
-  /* Fetch the g_system_timer value from timer hardware, if available */
-
-#ifdef CONFIG_RTC
-
-  /* Check if the periodic timer is initialized
+#ifdef CONFIG_RTC_HIRES
+  /* Fetch the g_system_timer value from timer hardware, if available.
    *
-   * Note that the unit of the g_system_timer and and up_rtc_getclock() do
+   * Note that the unit of the g_system_timer and and up_rtc_gettime() do
    * not have the same unit.
    */
-
-  if (g_rtc_enabled)
-    {
-      /* return up_rtc_getclock(); */
-    }
 #endif
 
 #ifndef CONFIG_SYSTEM_UTC