From 61af0d511ff2e2335e24ba95a3560d120fbdb6a4 Mon Sep 17 00:00:00 2001
From: Max Neklyudov <macscomp@gmail.com>
Date: Mon, 22 Jun 2015 06:37:26 -0600
Subject: [PATCH] Use up_timer_gettime for CLOCK_MONOTONIC in tickless mode. 
 From  Max Neklyudov.

---
 sched/clock/clock_gettime.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/sched/clock/clock_gettime.c b/sched/clock/clock_gettime.c
index 429f2831532..ddd71a2e170 100644
--- a/sched/clock/clock_gettime.c
+++ b/sched/clock/clock_gettime.c
@@ -46,6 +46,7 @@
 #include <debug.h>
 
 #include <arch/irq.h>
+#include <nuttx/arch.h>
 
 #include "clock/clock.h"
 
@@ -117,7 +118,11 @@ int clock_gettime(clockid_t clock_id, struct timespec *tp)
        * reset.
        */
 
+#ifdef CONFIG_SCHED_TICKLESS
+      ret = up_timer_gettime(tp);
+#else
       ret = clock_systimespec(tp);
+#endif
     }
   else
 #endif