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