trivial: Fix diagnostic message

Signed-off-by: Jimmy Brush <[email protected]>
seL4 · Aug 22, 2023 · ed77adf · ed77adf
1 parent 51744e0
commit ed77adf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libplatsupport/src/plat/star64/ltimer.c b/libplatsupport/src/plat/star64/ltimer.c
@@ -132,7 +132,7 @@ static int set_timeout(void *data, uint64_t ns, timeout_type_t type)
     case TIMEOUT_ABSOLUTE: {
         uint64_t time = starfive_timer_get_time(&timers->timer[COUNTER_TIMER]);
         if (time >= ns) {
-            ZF_LOGE("Requested time %"PRIu64" earlier than current time %"PRIu64, time, ns);
+            ZF_LOGE("Requested time %"PRIu64" earlier than current time %"PRIu64, ns, time);
             return ETIME;
         }
         return starfive_timer_set_timeout(&timers->timer[TIMEOUT_TIMER], ns - time, false);