diff --git a/arch/x86_64/src/intel64/intel64_oneshot_lower.c b/arch/x86_64/src/intel64/intel64_oneshot_lower.c
index 766b87e313..7bd2aacf38 100644
--- a/arch/x86_64/src/intel64/intel64_oneshot_lower.c
+++ b/arch/x86_64/src/intel64/intel64_oneshot_lower.c
@@ -347,7 +347,7 @@ static int intel64_tick_max_delay(struct oneshot_lowerhalf_s *lower,
 
   /* Convert time to ticks */
 
-  clock_time2ticks(&ts, (sclock_t *)ticks);
+  *ticks = clock_time2ticks(&ts);
 
   return ret;
 }
@@ -380,7 +380,7 @@ static int intel64_tick_start(struct oneshot_lowerhalf_s *lower,
 
   /* Convert ticks to time */
 
-  clock_ticks2time(ticks, &ts);
+  clock_ticks2time(&ts, ticks);
 
   return intel64_start(lower, callback, arg, &ts);
 }
@@ -418,7 +418,7 @@ static int intel64_tick_cancel(struct oneshot_lowerhalf_s *lower,
 
   /* Convert time to ticks */
 
-  clock_time2ticks(&ts, (sclock_t *)ticks);
+  *ticks = clock_time2ticks(&ts);
 
   return ret;
 }
@@ -451,7 +451,7 @@ static int intel64_tick_current(struct oneshot_lowerhalf_s *lower,
 
   /* Convert time to ticks */
 
-  clock_time2ticks(&ts, (sclock_t *)ticks);
+  *ticks = clock_time2ticks(&ts);
 
   return ret;
 }