diff --git a/arch/x86_64/src/intel64/intel64_tsc_tickless.c b/arch/x86_64/src/intel64/intel64_tsc_tickless.c
index 2e003ac8d22..22d070a532a 100644
--- a/arch/x86_64/src/intel64/intel64_tsc_tickless.c
+++ b/arch/x86_64/src/intel64/intel64_tsc_tickless.c
@@ -76,7 +76,12 @@
 
 extern unsigned long g_x86_64_timer_freq;
 
+#ifndef CONFIG_SCHED_TICKLESS_ALARM
+static uint64_t g_goal_time;
+#else
 static struct timespec g_goal_time_ts;
+#endif
+
 static uint64_t g_last_stop_time;
 static uint64_t g_start_tsc;
 static uint32_t g_timer_active;
@@ -336,7 +341,7 @@ void up_timer_expire(void)
   g_timer_active = 0;
 
   up_mask_tmr();
-  sched_timer_expiration();
+  nxsched_timer_expiration();
 }
 
 #else /* CONFIG_SCHED_TICKLESS_ALARM */