From 8d43a6bdcdbd9f86f95fe633589c39e451956aa0 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 3 Oct 2014 10:20:46 -0600
Subject: [PATCH] Fix build error with CONFIG_SYSTEM_TIME64

---
 sched/clock/clock.h          | 1 +
 sched/clock/clock_systimer.c | 1 +
 2 files changed, 2 insertions(+)

diff --git a/sched/clock/clock.h b/sched/clock/clock.h
index 4a05bca02f1..70eb23fef66 100644
--- a/sched/clock/clock.h
+++ b/sched/clock/clock.h
@@ -66,6 +66,7 @@
 /********************************************************************************
  * Global Variables
  ********************************************************************************/
+
 #if !defined(CONFIG_SCHED_TICKLESS) && !defined(__HAVE_KERNEL_GLOBALS)
   /* The system clock exists (CONFIG_SCHED_TICKLESS), but it not prototyped
    * globally in include/nuttx/clock.h.
diff --git a/sched/clock/clock_systimer.c b/sched/clock/clock_systimer.c
index 5d49b019f3d..530d4b18c23 100644
--- a/sched/clock/clock_systimer.c
+++ b/sched/clock/clock_systimer.c
@@ -52,6 +52,7 @@
 /* See nuttx/clock.h */
 
 #undef clock_systimer
+#undef clock_systimer64
  
 /****************************************************************************
  * Private Data