diff --git a/arch/x86_64/src/intel64/Kconfig b/arch/x86_64/src/intel64/Kconfig
index 9787d989670..1d13fce8a7a 100644
--- a/arch/x86_64/src/intel64/Kconfig
+++ b/arch/x86_64/src/intel64/Kconfig
@@ -23,10 +23,10 @@ config ARCH_INTEL64_HAVE_TSC
 
 config ARCH_INTEL64_HAS_TSC_ADJUST
 	bool "MSR_IA32_TSC_ADJUST support"
-	depends on ARCH_INTEL64_HAVE_TSC
+	depends on ARCH_INTEL64_HAVE_TSC && SCHED_TICKLESS
 	default y
 	---help---
-	MSR_IA32_TSC_ADJUST is used to adjust the offset of the Time Stamp Counter (TSC).
+		MSR_IA32_TSC_ADJUST is used to adjust the offset of the Time Stamp Counter (TSC).
 
 
 config ARCH_INTEL64_CACHE_LINESIZE
diff --git a/arch/x86_64/src/intel64/intel64_tsc_timerisr.c b/arch/x86_64/src/intel64/intel64_tsc_timerisr.c
index b2dc70e4354..23d9eadda4c 100644
--- a/arch/x86_64/src/intel64/intel64_tsc_timerisr.c
+++ b/arch/x86_64/src/intel64/intel64_tsc_timerisr.c
@@ -55,7 +55,7 @@
  * Private Data
  ****************************************************************************/
 
-unsigned long g_x86_64_timer_freq;
+extern unsigned long g_x86_64_timer_freq;
 
 /****************************************************************************
  * Private Functions