diff --git a/arch/x86_64/src/intel64/intel64_freq.c b/arch/x86_64/src/intel64/intel64_freq.c
index c2775fe6c6a..bdf00251799 100644
--- a/arch/x86_64/src/intel64/intel64_freq.c
+++ b/arch/x86_64/src/intel64/intel64_freq.c
@@ -101,7 +101,7 @@ static inline uint64_t x86_64_timer_tsc_freq_15h(void)
       return 0;
     }
 
-  return crystal_freq / denominator * numerator;
+  return (uint64_t)(crystal_freq / denominator) * numerator;
 }
 
 /****************************************************************************